From e09dcb214463a2c6cb9a3609aa55005af32e5061 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 1 Mar 2003 11:37:18 +0000
Subject: Update to 4.5 (pre?) version CW sent

---
 x-symbol/README.x-symbol-for-ProofGeneral | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral
index 62dad2ed..67e64b9a 100644
--- a/x-symbol/README.x-symbol-for-ProofGeneral
+++ b/x-symbol/README.x-symbol-for-ProofGeneral
@@ -2,6 +2,6 @@ The code in this directory is taken from
 
 	http://x-symbol.sourceforge.net/
 
-This is version XXXX
+This is version 4.5  (direct from author)
 
 No changes have been made for Proof General. 
-- 
cgit v1.2.3