From ca677da1491465014e66abf31d168e2e457595da Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Jul 2008 22:00:04 +0000
Subject: Updated.

---
 CHANGES | 17 +++++++----------
 1 file changed, 7 insertions(+), 10 deletions(-)

diff --git a/CHANGES b/CHANGES
index 515480ed..ff6890fe 100644
--- a/CHANGES
+++ b/CHANGES
@@ -6,11 +6,16 @@
 
 *** Fixes and improvements, compatibility patches
 
-- Unicode Tokens: supports control tokens (Isabelle sub/super/fonts)
+- Unicode Tokens: supports control tokens (Isabelle sub/super/fonts).
+   This support is preliminary; editing files is unreliable.
+   X-Symbol is still recommended.
 - Fix Options saving for MMM, Maths Menu, Unicode Tokens.
-- Compatibility improvements for: Carbon Emacs
+- Compatibility improvements for: Carbon Emacs, latest Emacs 23 CVS.
 
+** Isabelle changes
 
+- Choice of isabelle command command based on isatool, if run outside wrapper
+- Logic can be set in comment: (* -*- isabelle-chosen-logic: "ZF" -*- *)
 
 ** Coq changes
 
@@ -19,14 +24,6 @@
   (emacs-snapshot), previous emacs's can't be fixed.
 
 
-
-
-
-
-
-
-
-
 * Summary of Changes for Proof General 3.7 from 3.5  (via 3.6pre)
 
 ** Generic changes
-- 
cgit v1.2.3