From d3ede24e39970ed21e04a9cb9b906a6ae77eb080 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 12 Jan 2001 18:24:41 +0000
Subject: Updated.

---
 ChangeLog | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index ce9e7869..42b7c978 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,23 @@
+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:
-- 
cgit v1.2.3