aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2003-02-15Line for Emacs compileDavid Aspinall
2003-02-15Towards isabelle-refresh-logicsDavid Aspinall
2003-02-12change for version 0.83 of PhoXChristophe Raffalli
2003-02-12Added the keyword "Local :=" to the coq-goal-command-p function, likePierre Courtieu
Definition.
2003-02-10little modif on the end-cammand regexp.Pierre Courtieu
2003-02-10This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-02-10Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-06little change to proof-script-command-end-regexp, again, to deal withPierre Courtieu
coq-v6.2. In the next version we will remove support for coq < 7.0.
2003-02-06Slight modification to proof-script-command-end-regexp in coq.el, toPierre Courtieu
allow command at the end of the buffer.
2003-02-05Updated.David Aspinall
2003-02-05Grumpy noteDavid Aspinall
2003-02-05Updated.David Aspinall
2003-02-05Updated.David Aspinall
2003-02-05Set version tag for new release.David Aspinall
2003-02-05Updated.David Aspinall
2003-02-05Doc generalisation of proof-script-command-end-regexp.David Aspinall
2003-02-05Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsingDavid Aspinall
2003-02-05New files.David Aspinall
2003-02-05New setting for parse cmdend regexp.David Aspinall
2003-02-05Compatibility function for customize-menu-createDavid Aspinall
2003-02-05Give up on customize-menu-create on GNU EmacsDavid Aspinall
2003-02-05Added a paragraph in the documentation for the variable coq-version-is-V74.Pierre Courtieu
2003-02-04Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-04This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-02-04Coq/pg: fixed a little bug with the "Print Hint" state preservingPierre Courtieu
command, which must not be matched by the state changing command "Hint". I put "\\`Hint" in the keyword list, but I am not sure this is the best way.
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-28Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-01-28This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
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.
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 05:53:25 +0000