From 4fe0b1530d50a62cc80c1f879677f76c86742b5b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 21 Dec 2000 11:46:19 +0000 Subject: Updated. --- ChangeLog | 49 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 49 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 84739299..5c0a02d3 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,52 @@ +2000-12-21 David Aspinall + + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.html, html/devel.html: + Set version tag for new release. + + * etc/ProofGeneral.spec: .phox -> .phx + + * phox/example.af2, phox/example.phx: + Renamed file + +2000-12-20 David Aspinall + + * ChangeLog: Updated. + + * 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-20 David Aspinall * doc/PG-adapting.texi: Fix magic -- cgit v1.2.3