Updated.

1 files changed, 20 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index ce9e7869..42b7c978 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,25 @@
 2001-01-12  David Aspinall  <da@proofgeneral.org>
 
+	* ChangeLog: Updated.
+
+	* isa/isa.el:
+	Fix loading thy mode fist problem: require proof-script since context
+	menus are now added for response/goals buffer, which requires proof mode.
+
+2001-01-12  Markus Wenzel  <wenzelm@informatik.tu-muenchen.de>
+
+	* isa/isabelle-system.el, isar/isar.el, isar/isar-syntax.el:
+	proof-string-match;
+
+2001-01-12  David Aspinall  <da@proofgeneral.org>
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
+2001-01-12  David Aspinall  <da@proofgeneral.org>
+
 	* isa/isa.el:
 	Fix loading thy mode fist problem: require proof-script since context
 	menus are now added for response/goals buffer, which requires proof mode.