diff options
| author | David Aspinall | 2000-03-09 08:26:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-09 08:26:42 +0000 |
| commit | ae7c256d964dd24b2d066d5d5da2da762c843aca (patch) | |
| tree | 1a245fd6b04d73ee1e4d1ed9f48e6cc0c06dd192 | |
| parent | 431e24a332ac0715d0098264d6ff08b6b97dd27e (diff) | |
Added support for HOL98 PG.
| -rw-r--r-- | generic/proof-site.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 7e0c7375..44f405f5 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -38,8 +38,7 @@ :prefix "proof-") -;; Master table of supported assistants. May not enable both kinds of -;; Isabelle interfaces at the same time! +;; Master table of supported assistants. (defcustom proof-assistant-table '(;; For demonstration instance of Proof General, ;; set PROOFGENERAL_ASSISANTS=demoisa. @@ -50,7 +49,8 @@ (isa "Isabelle" "\\.ML$\\|\\.thy$") (lego "LEGO" "\\.l$") (coq "Coq" "\\.v$") - (plastic "Plastic" "\\.lf$")) + (plastic "Plastic" "\\.lf$") + (hol98 "HOL" "\\.sml$")) "*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 |