From d51c8decfa04f46b916c01ea5c62104c041bace1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 14:27:40 +0000
Subject: Added ACL2

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

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 9e162271..affda791 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -48,13 +48,16 @@
     (isa        "Isabelle"	"\\.ML$\\|\\.thy$")
     (lego	"LEGO"		"\\.l$")
     (coq	"Coq"		"\\.v$")
-    ;; The following provers are not fully supported
-    ;; (please volunteer!)
+    (af2	"Af2"		"\\.af2$")
+    ;; The following provers are not fully supported, 
+    ;; and have only preliminary support written 
+    ;; (please volunteer to improve them!)
     (hol98	"HOL"		"\\.sml$")
+    (acl2	"ACL2"		"\\.acl2$")
     ;; The following provers have experimental support
     (plastic	"Plastic"	"\\.lf$")
     (twelf	"Twelf"		"\\.elf$")
-    (af2	"Af2"		"\\.af2$"))
+    )
   "*Proof General's table of supported proof assistants.
 Extend this table to add a new proof assistant.
 Each entry is a list of the form
-- 
cgit v1.2.3