diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-site.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 79eecf95..63710a03 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -114,9 +114,8 @@ You can use customize to set this variable." (lego "LEGO" "\\.l$") (coq "Coq" "\\.v$") (phox "PhoX" "\\.phx$") - ;; The following provers are not fully supported, - ;; and have only preliminary support written - ;; (please volunteer to improve them!) + ;; The following provers are not fully supported, and have only + ;; preliminary support written (please volunteer to improve them!) (hol98 "HOL" "\\.sml$") (acl2 "ACL2" "\\.acl2$") (twelf "Twelf" "\\.elf$") |