aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2003-09-24 23:57:57 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2003-09-24 23:57:57 +0000
commit98e40c4f92aeac4d5287c5d4580db77400c8fdfe (patch)
treecf27d6f0d0f7ceac6a77bce390cf290ca3f7794f /CHANGES
parent90bca7001ed082df094b344a9ea2e8f8aeb7823f (diff)
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES4
1 files changed, 2 insertions, 2 deletions
diff --git a/CHANGES b/CHANGES
index d32c6cdb..c32572b7 100644
--- a/CHANGES
+++ b/CHANGES
@@ -31,11 +31,11 @@ recompile the sources for a particular Emacs version, try:
Check the settings in the Makefile for your Emacs version.
-*** Bundling of X-Symbol Mode (4.5 beta)
+*** Bundling of X-Symbol Mode (4.5.1-beta)
!!THIS IS WORK IN PROGRESS, IT MAY WELL BREAK X-SYMBOL FOR YOU!!
-[ Currenly should be working in Isabelle, not other provers ]
+[ Currenly should be working in Isabelle, perhaps not other provers ]
To disable use of the bundled version, either delete/move away the
x-symbol subdirectory, or load your own local version first [put