summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since p...Sebastien Fabbro2008-12-051-2/+8
* Reassigning to sci from math-proof.Christian Heim2007-07-311-1/+1
* Added haskell herd and removed myself as maintainer.Alexandre Buisse2007-03-251-4/+1
* Initial commitAlexandre Buisse2006-07-121-0/+9