From 81a021f98e8a41f8f24e3460d1656c23cb0ee6d9 Mon Sep 17 00:00:00 2001
From: Paul Callaghan
Date: Tue, 11 May 1999 15:19:55 +0000
Subject: added proof system "plastic", triggered by a .lf extension

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

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 856d5977..e132bf09 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -38,7 +38,9 @@
   '((isa        "Isabelle"	"\\.ML$\\|\\.thy$")
    ;(isar       "Isabelle/Isar" "\\.thy$")
     (lego	"LEGO"		"\\.l$")
-    (coq	"Coq"		"\\.v$"))
+    (coq	"Coq"		"\\.v$")
+    (plastic	"Plastic"	"\\.lf$")
+    )
   "*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