From 62958d26c2e0b33a5e2e4fdedefdf5a02e337e41 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 22 Feb 2003 18:10:57 +0000
Subject: Renamed file

---
 x-symbol/README.ProofGeneral | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 x-symbol/README.ProofGeneral

(limited to 'x-symbol/README.ProofGeneral')

diff --git a/x-symbol/README.ProofGeneral b/x-symbol/README.ProofGeneral
deleted file mode 100644
index 62dad2ed..00000000
--- a/x-symbol/README.ProofGeneral
+++ /dev/null
@@ -1,7 +0,0 @@
-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