From 5c58f544019e666aafc574a4f543a3baa87d6ad3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Apr 2004 17:08:31 +0000
Subject: Updated.

---
 etc/README | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'etc/README')

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
-- 
cgit v1.2.3