diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-05 23:01:00 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-05 23:01:00 +0000 |
| commit | b75346c194fba8822b84f3a585f9cf17645da9d6 (patch) | |
| tree | 43540b3f23f426c47bc2a5f0bbf698bab8156146 /ChangeLog | |
| parent | 278498ced8fe68c37007d6d71cf539f3d3d3c0d2 (diff) | |
Updated.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 32 |
1 files changed, 32 insertions, 0 deletions
@@ -1,5 +1,37 @@ 2003-02-05 David Aspinall <da@proofgeneral.org> + * BUGS, ChangeLog: + 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> + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: Set version tag for new release. |