diff options
| author | Makarius Wenzel | 2006-12-07 19:51:41 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2006-12-07 19:51:41 +0000 |
| commit | 91c7cb718f35c0fb4485cd6afe9c9529cd38d603 (patch) | |
| tree | c5c7d473f02b1fe4ee7d1a11da60711dea479400 /generic | |
| parent | a4b24e4e30d10a79f3d8fc90d1acd69b80b4c2ab (diff) | |
removed obsolete references to 'isa';
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-site.el | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index c26024e5..579e074e 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -106,9 +106,6 @@ You can use customize to set this variable." (list dne) nil))) '( -;; To use classic Isabelle instead of Isabelle/Isar, -;; uncomment appropriate line below and set -;; export PROOFGENERAL_ASSISTANTS=isar ;; ;; To Use HOL, uncomment the line below. It's disabled ;; by default because of clash with SML mode (same for .ML). @@ -118,7 +115,6 @@ You can use customize to set this variable." ;; export PROOFGENERAL_ASSISTANTS=demoisa. ;; ;; (demoisa "Isabelle Demo" "\\.ML$") -;; (isa "Isabelle" "\\.ML$\\|\\.thy$") (isar "Isabelle" "\\.thy$") (lego "LEGO" "\\.l$") (coq "Coq" "\\.v$\\|\\.v8$\\|\\.v7$") |