summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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