diff options
| -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.") |