diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2012-09-04 10:00:45 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2012-09-04 10:00:45 +0000 |
commit | 5de12ad3a052d648454fbf1989c903a0bc0a1ccd (patch) | |
tree | 5f87f1139e05ca39fa7babe1e0b5913489820bf0 /generic/proof-site.el | |
parent | 0a795598a3d6a86b872da5b6ed30de75f7dc166b (diff) |
Disable HOL Light support for release version
Diffstat (limited to 'generic/proof-site.el')
-rw-r--r-- | generic/proof-site.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 6c00c3d0..4fe95334 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -46,7 +46,7 @@ ;; (lego "LEGO" "l") ;; (ccc "CASL Consistency Checker" "ccc") - (hol-light "HOL Light" "ml") ; [for testing] + ;; (hol-light "HOL Light" "ml") ; [for testing] ;; Cut-and-paste management only |