Updated.

1 files changed, 38 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 3d68ec51..9a4a3047 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,43 @@
 2002-08-09  David Aspinall  <da@proofgeneral.org>
 
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html:
+	Set version tag for new release.
+
+	* generic/proof-script.el: Doc
+
+	* doc/ProofGeneral.texi:
+	Doc comments also under vis control
+
+	* CHANGES: Updated.
+
+	* etc/isa/completed-proof.ML:
+	New files.
+
+	* generic/proof-script.el:
+	Fix proof-disappearing-proofs; comments
+
+	* generic/proof-config.el, generic/proof-script.el:
+	Refactor proof-done-advancing by abstracting out new functions; fixes for autosave case.
+
+	* generic/proof-toolbar.el, generic/proof-config.el:
+	Add menu entry for toggling visibility
+
+	* generic/span.el:
+	Add span-property-safe
+
+	* REGISTER: Updated.
+
+	* etc/isar/Parsing.thy: More comments
+
+	* etc/isar/new-parsing-test.el:
+	New files.
+
+	* isar/test.el: Deleted file
+
+2002-08-09  David Aspinall  <da@proofgeneral.org>
+
 	* etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html:
 	Set version tag for new release.