diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-04-06 16:27:46 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-06 16:27:46 +0000 |
commit | 920e54cc2d30f42d2985c9e0f112553738ddbd04 (patch) | |
tree | 514aba1c915b8a68dd6ef68c8a900a12415560f7 | |
parent | 2fa9fcd55de6357db6fa521291d253432a298ec8 (diff) |
Add pgshell to proof-assistant-table, remove pgkit for now.
-rw-r--r-- | generic/proof-site.el | 4 |
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. |