From d661066d35b2d88cac117def78acf7afde567c19 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Dec 2007 01:23:49 +0000
Subject: Updated.

---
 CHANGES | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 09350d66..af23bb8f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -12,13 +12,12 @@ See also etc/release-log.txt for minor patches.
 - Workarounds added for some bugs in XEmacs 21.5 beta (but GNU Emacs now preferred).
 - Cropped icons to better match style of GNU Emacs/Gnome.
 - Context menu for spans: options to move spans up/down (risky!) and undo.
-- Maths menu added for inserting Unicode math characters (originally by Dave Love)
+- Maths menu added for inserting Unicode math characters (GNU Emacs only)
 - Many code cleanups from Stefan Monnier.
 
-
 *** Large X-Symbol fonts added, courtesy of Clemens Ballarin
 
-May use option -f 18 or -f 24 of the Isabelle interface wrapper.
+Use option -f 18 or -f 24 of the Isabelle interface wrapper.
 
 *** UTF-8 support for 8-bit clean provers
 
-- 
cgit v1.2.3