aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2003-02-03Updated.David Aspinall
2003-02-03Set version tag for new release.David Aspinall
2003-02-03code cleaning + deals better with the new module system of Coq. DidPierre Courtieu
not test the fsfemacs. Will do before release.
2003-02-03- Moved "show me" menu one level up in the menu hierarchyStefan Berghofer
- Reordered entries in "show me" menu and added entry for displaying matching introduction rules
2003-02-02Fix from Christoph Conrad for Emacs compatibility (buffer-string)David Aspinall
2003-01-30Bug correction in the find-and-forget function for coq: in Coq v74, noPierre Courtieu
prompt is return if an empty command is send ("\n"), so if the command is empty, we send proof-no-command (if not, backtracking state preserving command stays indefinitely in "proof process busy" state).
2003-01-29Added a file for testing modules of coq (new version 7.4). Plus somePierre Courtieu
modification to better backtrack modules.
2003-01-29Updated.David Aspinall
2003-01-29Add remassoc for FSF.David Aspinall
2003-01-28This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-01-28Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-01-24Fix hilight of Module Type?David Aspinall
2003-01-24New files.David Aspinall
2003-01-24removed some garbage printing in coq/Pierre Courtieu
2003-01-24Modifications for support of Coq-7.3.1+ and above (new module system).Pierre Courtieu
2003-01-23Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-01-23This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-01-22X-Symbol version 4.45 betaDavid Aspinall
2003-01-22This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-01-22X-Symbol version 4.45 betaDavid Aspinall
2003-01-22This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-01-22X-Symbol version 4.45 betaDavid Aspinall
2003-01-22This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-01-21X-Symbol version 4.45 betaDavid Aspinall
2003-01-21This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-01-21Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-01-21This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-01-20Updated.David Aspinall
2003-01-20Set version tag for new release.David Aspinall
2003-01-20Updated.David Aspinall
2003-01-17X-Symbol version 4.45 betaDavid Aspinall
2003-01-17This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-01-16X-Symbol version 4.45 betaDavid Aspinall
2003-01-16This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-01-16X-Symbol version 4.45 betaDavid Aspinall
2003-01-16This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-01-16X-Symbol version 4.45 betaDavid Aspinall
2003-01-16This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-01-16Updated.David Aspinall
2003-01-16Toward XHTMLDavid Aspinall
2003-01-16Update my email and webDavid Aspinall
2003-01-02X-Symbol version 4.45 betaDavid Aspinall
2003-01-02This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-01-02X-Symbol version 4.45 betaDavid Aspinall
2003-01-02This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-01-02X-Symbol version 4.45 betaDavid Aspinall
2003-01-02This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2002-12-29Fake customize menu create for latest Emacs release -- workaround new bug thereDavid Aspinall
2002-12-29Fix use of replace-regexp-in-stringDavid Aspinall
2002-12-29Try to catch nesting too deep ugliness (esp in Isabelle tracing)David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 05:52:13 +0000