summaryrefslogtreecommitdiff
path: root/debian/coq.emacsen-startup
Commit message (Expand)AuthorAge
* Corrected emacs-mode startup file.Gravatar Samuel Mimram2007-10-10
* Getting prepared for the licensing-problems-free 8.0 release of COQ.Gravatar Samuel Mimram2004-07-15