diff options
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 |