From bf35167a87fc74a3317b2c08937b85e4b48cf0d0 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Fri, 1 Dec 2000 17:32:21 +0000
Subject: af2 is now called PhoX

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

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 3ddc2da4..84e91497 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -48,7 +48,7 @@
     (isa        "Isabelle"	"\\.ML$\\|\\.thy$")
     (lego	"LEGO"		"\\.l$")
     (coq	"Coq"		"\\.v$")
-    (af2	"Af2"		"\\.af2$")
+    (phox	"PhoX"		"\\.phx$")
     ;; The following provers are not fully supported, 
     ;; and have only preliminary support written 
     ;; (please volunteer to improve them!)
-- 
cgit v1.2.3