1 files changed, 6 insertions, 4 deletions

diff --git a/etc/README b/etc/README
index 62c7c417..6b622f9b 100644
--- a/etc/README
+++ b/etc/README
@@ -14,10 +14,12 @@ ProofGeneral.desktop   Menu file for some Linux versions.
 
 announce	       Announcement
 		       
-lego		       Files for testing LEGO Proof General
-isa					 Isabelle Proof General
-isar					 Isar PG
-demoisa					 Isabelle Demo PG
+lego		       Files for testing: LEGO Proof General
+isa					  Isabelle Proof General
+isar					  Isar PG
+demoisa					  Isabelle Demo PG
+coq					  Coq
+<otherprover>				   .. others, similarly
 
 
 bug-notes.txt	       Test cases for Emacs or PG bugs