summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st...Alexandre Buisse2007-03-182-3/+3
* Initial commitAlexandre Buisse2006-07-123-0/+27