diff options
| author | David Aspinall | 2012-01-05 10:05:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-01-05 10:05:41 +0000 |
| commit | 787510f7ab4565e6ee8f06060c099c3ee56e42d8 (patch) | |
| tree | 5f71f93bb0f41ccec6f6c014872e69e470a30524 | |
| parent | 81e54a5f569fa2be6f2d80ab2ba1b8db9ec5ffa9 (diff) | |
Temporarily enable HOL Light globally for testing
| -rw-r--r-- | generic/proof-site.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index f1aa466b..d537342a 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -40,7 +40,7 @@ ;; Obscure/conflict with other useful modes: (lego "LEGO" "l") - ; (hol-light "HOL Light" "ml") + (hol-light "HOL Light" "ml") ; [for testing] ;; (ccc "CASL Consistency Checker" "ccc") ;; (pgshell "PG-Shell" "pgsh") @@ -49,9 +49,9 @@ ;; (hol98 "HOL" "sml") ;; (acl2 "ACL2" "acl2") ;; (twelf "Twelf" "elf") - ;; (plastic "Plastic" "lf") ; obsolete - ;; (lclam "Lambda-CLAM" "lcm") ; obsolete - ;; (demoisa "Isabelle Demo" "ML") ; obsolete + ;; (plastic "Plastic" "lf") ; obsolete + ;; (lclam "Lambda-CLAM" "lcm") ; obsolete + ;; (demoisa "Isabelle Demo" "ML") ; obsolete ) "Default value for `proof-assistant-table', which see.") |