From b75346c194fba8822b84f3a585f9cf17645da9d6 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 5 Feb 2003 23:01:00 +0000 Subject: Updated. --- ChangeLog | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/ChangeLog b/ChangeLog index c2f946c9..1fe4dbfd 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,35 @@ +2003-02-05 David Aspinall + + * 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 + + * doc/ProofGeneral.texi: + Added a paragraph in the documentation for the variable coq-version-is-V74. + 2003-02-05 David Aspinall * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: -- cgit v1.2.3