summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st...Alexandre Buisse2007-03-181-0/+59