From 849787301bc064c4ed3a2f0a35afeeb519c61461 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 12 Sep 2000 16:13:21 +0000
Subject: Added entry for Af2

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

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 5ce76d93..0ff771b4 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -53,7 +53,8 @@
     (hol98	"HOL"		"\\.sml$")
     ;; The following provers have experimental support
     (plastic	"Plastic"	"\\.lf$")
-    (twelf	"Twelf"		"\\.elf$"))
+    (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