From 920e54cc2d30f42d2985c9e0f112553738ddbd04 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 6 Apr 2004 16:27:46 +0000
Subject: Add pgshell to proof-assistant-table, remove pgkit for now.

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

diff --git a/generic/proof-site.el b/generic/proof-site.el
index ec9cd03e..18a5ebb4 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -126,8 +126,8 @@ You can use customize to set this variable."
     ;; The following provers have experimental support, WIP
     (plastic	"Plastic"	"\\.lf$")
     (lclam      "Lambda-CLAM"   "\\.lcm$")
-    ;; Next line for testing only
-    ;; (pgip	"PGIP/Isa"	"\\.ML$\\|\\.thy$")
+    ;; Finally, the next instance isn't a prover at all!
+    (pgshell	"PG-Shell"	"\\.pgsh$")
     )))
   "*Proof General's table of supported proof assistants.
 Extend this table to add a new proof assistant.
-- 
cgit v1.2.3