diff options
| author | David Aspinall | 2000-09-27 14:27:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-27 14:27:40 +0000 |
| commit | d51c8decfa04f46b916c01ea5c62104c041bace1 (patch) | |
| tree | 454f55c82630d8ecb6b96a0cd997c561a6ef2b9c /generic | |
| parent | a31c727e10bd4765ee88ba2b4f441ef7ca7569be (diff) | |
Added ACL2
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-site.el | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 9e162271..affda791 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -48,13 +48,16 @@ (isa "Isabelle" "\\.ML$\\|\\.thy$") (lego "LEGO" "\\.l$") (coq "Coq" "\\.v$") - ;; The following provers are not fully supported - ;; (please volunteer!) + (af2 "Af2" "\\.af2$") + ;; The following provers are not fully supported, + ;; and have only preliminary support written + ;; (please volunteer to improve them!) (hol98 "HOL" "\\.sml$") + (acl2 "ACL2" "\\.acl2$") ;; The following provers have experimental support (plastic "Plastic" "\\.lf$") (twelf "Twelf" "\\.elf$") - (af2 "Af2" "\\.af2$")) + ) "*Proof General's table of supported proof assistants. Extend this table to add a new proof assistant. Each entry is a list of the form |