diff options
| -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. |