From bcc36c712e8b321f8b9be781f48d39cee4c05565 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Sep 1999 15:47:52 +0000
Subject: Updated

---
 etc/README | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/etc/README b/etc/README
index 4662f711..a3425565 100644
--- a/etc/README
+++ b/etc/README
@@ -7,9 +7,11 @@ ProofGeneral.patch  }
 announce	       Announcement
 		       
 lego		       Files for testing LEGO Proof General
-		       
-isa		       Files for testing Isabelle Proof General
+isa					 Isabelle Proof General
+isar					 Isar PG
 
 README                 this file
 
-example                test protocol for example proof script
\ No newline at end of file
+example                test protocol for example proof scripts
+
+notes.txt	       Misc notes
\ No newline at end of file
-- 
cgit v1.2.3