Updated.

1 files changed, 64 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index b26a7e08..e52294d8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,67 @@
+2000-12-15  David Aspinall  <da@proofgeneral.org>
+
+	* 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  <wenzelm@informatik.tu-muenchen.de>
+
+	* isa/x-symbol-isabelle.el:
+	tuned some (rarely used) symbols;
+
+2000-12-14  David Aspinall  <da@proofgeneral.org>
+
+	* generic/proof-script.el:
+	Remove some user-level functions to pg-user.
+	Fix bug in proof-goto-end-of-locked.
+
+	* generic/proof-config.el:
+	Add proof-disappearing-proofs
+	Make proofs visible command
+	pg-insert-output-as-comment-fn hook
+	Alter docstrings for functions using proof-format-filename
+
+	* generic/proof-syntax.el:
+	Generalise proof-format-filename
+
+	* generic/pg-user.el:
+	Factor out some material from proof-script.el
+
+	* generic/proof-menu.el:
+	Add bindings for pg-insert-last-output-as-comment and proof-disappearing-proofs-toggle
+
+	* generic/proof-toolbar.el:
+	Add visible enable command
+
+	* generic/span-extent.el, generic/span-overlay.el:
+	Add span-object, mapcar-spans
+
+	* etc/coq/multiple/.cvsignore:
+	*** empty log message ***
+
+	* etc/coq/multiple/a.v, etc/coq/multiple/b.v, etc/coq/multiple/c.v, etc/coq/multiple/README:
+	Updated to use Require commands
+
+2000-12-07  David Aspinall  <da@proofgeneral.org>
+
+	* ChangeLog: Updated.
+
+	* generic/pg-pgip.el: Typo.
+
+	* etc/ProofGeneral.spec, Makefile, Makefile.devel:
+	Name change af2 -> phox
+
+	* generic/pg-pgip.el:
+	Beginnings of pgip processing
+
+	* generic/pg-xml.el: Add provide
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
 2000-12-07  David Aspinall  <da@proofgeneral.org>
 
 	* ChangeLog: Updated.