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 8e33c217..b7ef1336 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -41,9 +41,9 @@ ;; Master table of supported assistants. (defcustom proof-assistant-table '(;; For demonstration instance of Proof General, - ;; set PROOFGENERAL_ASSISANTS=demoisa. + ;; export PROOFGENERAL_ASSISTANTS=demoisa. ;; To use Isabelle/Isar instead of classic Isabelle, - ;; set PROOFGENERAL_ASSISANTS=isar + ;; export PROOFGENERAL_ASSISTANTS=isar (demoisa "Isabelle Demo" "\\.ML$") (isar "Isabelle/Isar" "\\.thy$") (isa "Isabelle" "\\.ML$\\|\\.thy$") |