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