From 4868a79fcf6672778b2f195a515a42d1338f577a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 19 Feb 2003 13:02:17 +0000
Subject: New files.

---
 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