From 98e40c4f92aeac4d5287c5d4580db77400c8fdfe Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 24 Sep 2003 23:57:57 +0000
Subject: Updated.

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

(limited to 'CHANGES')

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
-- 
cgit v1.2.3