From 2be75c8ee0bafcf9534bd6bb13739b0f37b343d9 Mon Sep 17 00:00:00 2001
From: cvs2git
Date: Wed, 19 Feb 2003 13:02:18 +0000
Subject: This commit was manufactured by cvs2git to create branch 'xsym'.

Cherrypick from master 2003-02-19 13:02:17 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.':
    x-symbol/README.ProofGeneral---
 x-symbol/README.ProofGeneral | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 x-symbol/README.ProofGeneral

diff --git a/x-symbol/README.ProofGeneral b/x-symbol/README.ProofGeneral
new file mode 100644
index 00000000..62dad2ed
--- /dev/null
+++ b/x-symbol/README.ProofGeneral
@@ -0,0 +1,7 @@
+The code in this directory is taken from  
+
+	http://x-symbol.sourceforge.net/
+
+This is version XXXX
+
+No changes have been made for Proof General. 
-- 
cgit v1.2.3