diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-05 23:10:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-05 23:10:43 +0000 |
| commit | 98d56d7e2e01371166b487d4b1a0faeff314f23f (patch) | |
| tree | 03c2ed7f5d1bfac83e3ee05496e97e49b011ab25 /ChangeLog | |
| parent | bd014aea0aeeab48a91778c26b451076f7f414d6 (diff) | |
Updated.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 34 |
1 files changed, 34 insertions, 0 deletions
@@ -1,5 +1,39 @@ 2003-02-05 David Aspinall <da@proofgeneral.org> + * CHANGES: Grumpy note + + * ChangeLog, BUGS: + Updated. + + * 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-05 David Aspinall <da@proofgeneral.org> + * BUGS, ChangeLog: Updated. |