From e3acc5a216a2270164d94bf0df3dce787d69def2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 14:20:00 +0000
Subject: Updated.

---
 etc/README | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'etc')

diff --git a/etc/README b/etc/README
index ef036736..62c7c417 100644
--- a/etc/README
+++ b/etc/README
@@ -1,6 +1,8 @@
 Files in the PG/etc directory  (NB: some only in devel distrib)
 ===============================================================
 
+README                 this file
+
 ProofGeneral.spec      For building the Proof General RPM.
 		       Use "rpm -tb" to build from tarball.
 
@@ -18,12 +20,6 @@ isar					 Isar PG
 demoisa					 Isabelle Demo PG
 
 
-README                 this file
-
-example                test protocol for example proof scripts
-
-notes.txt	       Misc notes
-
 bug-notes.txt	       Test cases for Emacs or PG bugs
 cvs-tips.txt	       Notes on  cvs with PG project
 debugging-tips.txt     Notes on  debugging
-- 
cgit v1.2.3