diff options
| author | Makarius Wenzel | 2000-03-17 11:19:01 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-03-17 11:19:01 +0000 |
| commit | 840b78998d1d88cbc6a5d072b8a4c0802d4f1b3a (patch) | |
| tree | 706aaf561d5fa10a3e2607efefa765f671b2701b | |
| parent | 4ea6a46f84e6c24b41e40db83c0be4ea8b06ca9a (diff) | |
proof-assistant-table: fixed spelling of comment;
| -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$") |