diff options
| author | David Aspinall | 2002-11-07 21:27:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-11-07 21:27:46 +0000 |
| commit | e4bc3c83a6e8c1e7860d72953e9de82298826b35 (patch) | |
| tree | 2de956d85ced3ca2ecaf5bd1d47ad554dd98491f | |
| parent | 6849fc90af58a224ec0fdac50f370157c6f13b2b (diff) | |
Updated.
| -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$") |