From e4bc3c83a6e8c1e7860d72953e9de82298826b35 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 7 Nov 2002 21:27:46 +0000
Subject: Updated.

---
 generic/proof-site.el | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 79eecf95..63710a03 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -114,9 +114,8 @@ You can use customize to set this variable."
     (lego	"LEGO"		"\\.l$")
     (coq	"Coq"		"\\.v$")
     (phox	"PhoX"		"\\.phx$")
-    ;; The following provers are not fully supported, 
-    ;; and have only preliminary support written 
-    ;; (please volunteer to improve them!)
+    ;; The following provers are not fully supported, and have only
+    ;; preliminary support written (please volunteer to improve them!)
     (hol98	"HOL"		"\\.sml$")
     (acl2	"ACL2"		"\\.acl2$")
     (twelf	"Twelf"		"\\.elf$")
-- 
cgit v1.2.3