From 9c4850ca593781e7d5bd90393c8c65b288974bfb Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 17 Jul 2000 10:31:48 +0000
Subject: tuned;

---
 CHANGES | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index f429b19b..98563824 100644
--- a/CHANGES
+++ b/CHANGES
@@ -11,8 +11,6 @@
 *** New indentation code, indentation enabled for all provers now
 
   Supplied by Markus Wenzel.
-  This is currently in testing, and has broken some other
-  features, particularly the function menu, in some cases.
 
 *** Toolbar and menubar removed from small windows in multiple frame mode
 
@@ -112,8 +110,14 @@
 
 ** Isar Changes
 
+*** No longer requires explicit terminators ";" in text.  (XEmacs only)
+
+  Also note that isar-strip-terminators cleans up existing theories.
+
 *** Fix for stack overflow in regexp which occurred with large proof states
 
+*** Improved Help menu provides basic context browsing facilities.
+
 ** HOL Changes
 
 *** Output decoration improvements.
-- 
cgit v1.2.3