From d9d87408a014f90b2e63e7b5e5b1ef83bdbead8d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 1 Dec 2000 16:06:03 +0000 Subject: Updated. --- ChangeLog | 132 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 132 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index e91234a7..d867b87e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,135 @@ +2000-12-01 David Aspinall + + * etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * doc/ProofGeneral.texi, doc/PG-adapting.texi: + 3.2 -> 3.3pre + +2000-12-01 Christophe Raffalli + + * af2/af2-font.el, af2/af2-fun.el: + add rewrite list + + * af2/af2.el, af2/af2-font.el, af2/af2-fun.el: + *** empty log message *** + +2000-11-27 Markus Wenzel + + * coq/README: fixed spelling; + +2000-11-24 Pierre Courtieu + + * coq/coq.el: + Continuing Coq V7 compatibility work, Begin Silent -> Set Silent, etc... + + * coq/coq.el: + Add a little change to coq-find-and-forget to work better + +2000-11-24 David Aspinall + + * generic/proof-shell.el, generic/proof-config.el: + Added proof-shell-match-pgip-cmd + + * generic/pg-pgip.el: Update branch + + * generic/pg-xml.el: + Added pg-xml-parse-string function. + + * generic/pg-pgip.el: + Functions to process pgip commands. + +2000-11-23 Pierre Courtieu + + * coq/coq.el, coq/coq-syntax.el: + I am starting to make PG coqV7 compatible, I think the best is to + allow both V6 and V7 for a while. Theoretically, incompatibilities + will not be numerous. + +2000-11-22 Markus Wenzel + + * isar/interface, isa/interface: + disable trace option; + +2000-11-21 Markus Wenzel + + * isar/interface, isa/interface: + converted from sh back to bash; + use "#!/usr/bin/env bash" as interpreter to determine bash from PATH; + handle spaces in file names; + +2000-11-17 David Aspinall + + * etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el: + Set version tag for new release. + +2000-11-15 David Aspinall + + * etc/ProofGeneral.spec, html/devel.html, html/develdownload.html, generic/proof-site.el: + Set version tag for new release. + +2000-11-15 Christophe Raffalli + + * af2/af2.el, af2/af2-font.el, af2/af2-fun.el: + *** empty log message *** + +2000-11-13 Christophe Raffalli + + * af2/sym-lock.el, doc/PG-adapting.texi: + *** empty log message *** + +2000-11-10 Christophe Raffalli + + * doc/docstring-magic.el, doc/PG-adapting.texi, af2/sym-lock.el: + *** empty log message *** + +2000-10-31 Markus Wenzel + + * isar/isar-syntax.el: + tuned isar-goals-font-lock-keywords; + +2000-10-30 Markus Wenzel + + * isar/isar-syntax.el: + tuned font-lock-keywords; + + * isa/x-symbol-isabelle.el: + replaced \ by \ (better than nothing); + +2000-10-30 Christophe Raffalli + + * generic/proof-utils.el, generic/proof-script.el, generic/proof-config.el, af2/example.af2, af2/af2.el, af2/af2-fun.el: + *** empty log message *** + +2000-10-27 David Aspinall + + * CHANGES: Ready for 3.2 changes. + +2000-10-27 Christophe Raffalli + + * af2/example.af2, generic/proof-utils.el, generic/proof-script.el: + *** empty log message *** + +2000-10-26 Markus Wenzel + + * isar/isar-syntax.el: + font-lock support for antiquotations; + +2000-10-26 Christophe Raffalli + + * generic/proof-utils.el, af2/af2.el, af2/af2-fun.el, af2/example.af2: + *** empty log message *** + +2000-10-19 David Aspinall + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * Makefile.devel: + Second part of moving to 3.3pre series. + 2000-10-19 David Aspinall * etc/ProofGeneral.spec, html/devel.html, html/develdownload.html, generic/proof-site.el: -- cgit v1.2.3