summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Remove all old-style digests from the system and regen the Manifest files.Robin H. Johnson2008-01-312-6/+0
* add elisp-site-regen to postrm and canonicalise it in postinst; depending on ...Christian Faulhammer2007-09-231-0/+3
* 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