From 1f3bc5756940a7d58b32a549624a0fd10d0f52fe Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 14:03:09 +0000
Subject: Updated

---
 etc/README | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'etc/README')

diff --git a/etc/README b/etc/README
index a3425565..bda7fde8 100644
--- a/etc/README
+++ b/etc/README
@@ -9,9 +9,18 @@ announce	       Announcement
 lego		       Files for testing LEGO Proof General
 isa					 Isabelle Proof General
 isar					 Isar PG
+demoisa					 Isabelle Demo PG
+
 
 README                 this file
 
 example                test protocol for example proof scripts
 
-notes.txt	       Misc notes
\ No newline at end of file
+notes.txt	       Misc notes
+
+debugging-tips.txt     Notes on  debugging
+profiling.txt			 profiling
+
+testing-log.txt	       Notes on tests carried out
+
+release-log.txt	       A record of official releases 
\ No newline at end of file
-- 
cgit v1.2.3