From 4be4b89c99ae4705509d940fcf4506eb1989b6cf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 3 May 2002 13:17:08 +0000
Subject: Updates

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

diff --git a/CHANGES b/CHANGES
index 7af5642c..721c36c8 100644
--- a/CHANGES
+++ b/CHANGES
@@ -19,7 +19,6 @@ and old settings if you want to change back).
 Toolbar and splash screen supported.  
 
 X-Symbol support in progress
-
 Fontification (as ever) is tricky.
 Current status for X-symbol:
 
@@ -56,8 +55,11 @@ communication.
 ** Isabelle Changes
 
 Isabelle/Isar syntax changes, other tweaks for Isabelle2002.
+Switch to using Isabelle/Isar by default for .thy files.
+Support next error function.
 
-isa mode: highlighting improvements by Lucas Dixon (lucasd@dai.ed.ac.uk)
+Isabelle classic mode: add highlighting improvements for ML code
+contributed by Lucas Dixon (lucasd@dai.ed.ac.uk)
 
 
 ** Changes for other provers
-- 
cgit v1.2.3