aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-04-06 16:27:46 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-04-06 16:27:46 +0000
commit920e54cc2d30f42d2985c9e0f112553738ddbd04 (patch)
tree514aba1c915b8a68dd6ef68c8a900a12415560f7
parent2fa9fcd55de6357db6fa521291d253432a298ec8 (diff)
Add pgshell to proof-assistant-table, remove pgkit for now.
-rw-r--r--generic/proof-site.el4
1 files 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.