| Age | Commit message (Expand) | Author |
|---|
| 2003-02-12 | change for version 0.83 of PhoX | Christophe Raffalli |
| 2003-02-12 | Added the keyword "Local :=" to the coq-goal-command-p function, like | Pierre Courtieu |
| 2003-02-10 | little modif on the end-cammand regexp. | Pierre Courtieu |
| 2003-02-10 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall |
| 2003-02-10 | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall |
| 2003-02-06 | little change to proof-script-command-end-regexp, again, to deal with | Pierre Courtieu |
| 2003-02-06 | Slight modification to proof-script-command-end-regexp in coq.el, to | Pierre Courtieu |
| 2003-02-05 | Updated. | David Aspinall |
| 2003-02-05 | Grumpy note | David Aspinall |
| 2003-02-05 | Updated. | David Aspinall |
| 2003-02-05 | Updated. | David Aspinall |
| 2003-02-05 | Set version tag for new release. | David Aspinall |
| 2003-02-05 | Updated. | David Aspinall |
| 2003-02-05 | Doc generalisation of proof-script-command-end-regexp. | David Aspinall |
| 2003-02-05 | Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsing | David Aspinall |
| 2003-02-05 | New files. | David Aspinall |
| 2003-02-05 | New setting for parse cmdend regexp. | David Aspinall |
| 2003-02-05 | Compatibility function for customize-menu-create | David Aspinall |
| 2003-02-05 | Give up on customize-menu-create on GNU Emacs | David Aspinall |
| 2003-02-05 | Added a paragraph in the documentation for the variable coq-version-is-V74. | Pierre Courtieu |
| 2003-02-04 | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall |
| 2003-02-04 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall |
| 2003-02-04 | Coq/pg: fixed a little bug with the "Print Hint" state preserving | Pierre Courtieu |
| 2003-02-03 | Updated. | David Aspinall |
| 2003-02-03 | Set version tag for new release. | David Aspinall |
| 2003-02-03 | code cleaning + deals better with the new module system of Coq. Did | Pierre Courtieu |
| 2003-02-03 | - Moved "show me" menu one level up in the menu hierarchy | Stefan Berghofer |
| 2003-02-02 | Fix from Christoph Conrad for Emacs compatibility (buffer-string) | David Aspinall |
| 2003-01-30 | Bug correction in the find-and-forget function for coq: in Coq v74, no | Pierre Courtieu |
| 2003-01-29 | Added a file for testing modules of coq (new version 7.4). Plus some | Pierre Courtieu |
| 2003-01-29 | Updated. | David Aspinall |
| 2003-01-29 | Add remassoc for FSF. | David Aspinall |
| 2003-01-28 | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall |
| 2003-01-28 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall |
| 2003-01-24 | Fix hilight of Module Type? | David Aspinall |
| 2003-01-24 | New files. | David Aspinall |
| 2003-01-24 | removed some garbage printing in coq/ | Pierre Courtieu |
| 2003-01-24 | Modifications for support of Coq-7.3.1+ and above (new module system). | Pierre Courtieu |
| 2003-01-23 | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall |
| 2003-01-23 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall |
| 2003-01-22 | X-Symbol version 4.45 beta | David Aspinall |
| 2003-01-22 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall |
| 2003-01-22 | X-Symbol version 4.45 beta | David Aspinall |
| 2003-01-22 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall |
| 2003-01-22 | X-Symbol version 4.45 beta | David Aspinall |
| 2003-01-22 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall |
| 2003-01-21 | X-Symbol version 4.45 beta | David Aspinall |
| 2003-01-21 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall |
| 2003-01-21 | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall |
| 2003-01-21 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall |
