summaryrefslogtreecommitdiff
path: root/debian/coq.menu
Commit message (Collapse)AuthorAge
* New upstream release.debian/8.1.pl1+dfsg-1Gravatar Samuel Mimram2007-08-18
|
* Getting prepared for the licensing-problems-free 8.0 release of COQ.Gravatar Samuel Mimram2004-07-15