diff options
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 57 |
1 files changed, 57 insertions, 0 deletions
@@ -1,3 +1,60 @@ +2003-02-05 David Aspinall <da@proofgeneral.org> + + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: + Set version tag for new release. + + * CHANGES: Updated. + + * generic/proof-config.el: + Doc generalisation of proof-script-command-end-regexp. + + * generic/proof-script.el: + Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsing + + * etc/coq/parsingdot.v: New files. + + * coq/coq.el: + New setting for parse cmdend regexp. + + * generic/proof-menu.el: + Compatibility function for customize-menu-create + + * generic/proof-compat.el: + Give up on customize-menu-create on GNU Emacs + +2003-02-05 Pierre Courtieu <courtieu@lri.fr> + + * doc/ProofGeneral.texi: + Added a paragraph in the documentation for the variable coq-version-is-V74. + +2003-02-04 Pierre Courtieu <courtieu@lri.fr> + + * coq/coq-syntax.el: + Coq/pg: fixed a little bug with the "Print Hint" state preserving + 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-03 David Aspinall <da@proofgeneral.org> + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + +2003-02-03 Pierre Courtieu <courtieu@lri.fr> + + * coq/coq.el, coq/coq-syntax.el, coq/example.v, coq/ex-module.v: + code cleaning + deals better with the new module system of Coq. Did + not test the fsfemacs. Will do before release. + +2003-02-03 sberghof <sberghof@dcs.ed.ac.uk> + + * isar/isar.el: + - Moved "show me" menu one level up in the menu hierarchy + - Reordered entries in "show me" menu and added entry for displaying matching + introduction rules + 2003-02-03 David Aspinall <da@proofgeneral.org> * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: |