From ae52850a195fc93c12edfb4dbc05965b5de3d8b4 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 20 Dec 2000 18:27:14 +0000 Subject: Updated. --- ChangeLog | 56 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 56 insertions(+) diff --git a/ChangeLog b/ChangeLog index e52294d8..84739299 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,59 @@ +2000-12-20 David Aspinall + + * doc/PG-adapting.texi: Fix magic + + * generic/proof-shell.el: + Fix comment to not break texi magic + + * generic/texi-docstring-magic.el: + More broken escapes. + + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.html, html/devel.html: + Set version tag for new release. + + * CHANGES: Mentioned important changes + + * lego/lego.el, isar/isar.el, generic/pg-user.el: + goalsave -> proof + + * coq/coq.el: + Experimental support for multiple file handling. + 'goalsave -> 'proof + + * doc/PG-adapting.texi: + Document proof-shell-last-output and friends + + * phox/phox-sym-lock.el, phox/sym-lock.el: + Renamed file + + * generic/proof-site.el: + Testing line for PGIP. + + * generic/proof-shell.el: + Improvements to span handling, including new variables: proof-shell-last-output-kind and friends + + * generic/proof-script.el: + Improvements to span handling + +2000-12-19 Christophe Raffalli + + * phox/phox.el, phox/sym-lock.el, phox/phox-font.el, phox/phox-fun.el: + *** empty log message *** + +2000-12-15 David Aspinall + + * ChangeLog: Updated. + + * html/main.html: rename af2 -> Phox + + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.html, html/devel.html: + Set version tag for new release. + +2000-12-15 Markus Wenzel + + * isa/x-symbol-isabelle.el: + tuned some (rarely used) symbols; + 2000-12-15 David Aspinall * html/main.html: rename af2 -> Phox -- cgit v1.2.3