From f1d5c8128ad299fa37fab5b707d47e679a8d57a0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Sep 2003 17:09:58 +0000
Subject: Updated.

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

diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral
index 1301e337..ff96e392 100644
--- a/x-symbol/README.x-symbol-for-ProofGeneral
+++ b/x-symbol/README.x-symbol-for-ProofGeneral
@@ -14,3 +14,4 @@ Moreover, lisp/Makefile and lisp/makefile.pkg were copied from
 X-Symbol source package, and lisp/makefile.pkg edited to remove
 x-symbol-emacs from list of compiled files (since it breaks 
 on XEmacs compile).
+
-- 
cgit v1.2.3