summaryrefslogtreecommitdiff
path: root/debian/coqide.dirs
Commit message (Expand)AuthorAge
* Getting ready for the new release.debian/8.0pl3-1Gravatar Samuel Mimram2006-01-19
* New upstream release: 8.0pl2.debian/8.0pl2-1Gravatar Samuel Mimram2005-01-31
* Added a manpage for coqide.Gravatar Samuel Mimram2004-07-16
* Getting prepared for the licensing-problems-free 8.0 release of COQ.Gravatar Samuel Mimram2004-07-15