From 4faefa6f9f4be34f85165bee8789ecae1fd1c42f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Mar 2003 20:07:14 +0000
Subject: Updated.

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

diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral
index 67e64b9a..8b91e3d7 100644
--- a/x-symbol/README.x-symbol-for-ProofGeneral
+++ b/x-symbol/README.x-symbol-for-ProofGeneral
@@ -4,4 +4,5 @@ The code in this directory is taken from
 
 This is version 4.5  (direct from author)
 
-No changes have been made for Proof General. 
+No changes have been made for Proof General.
+
-- 
cgit v1.2.3