diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2004-03-19 13:05:27 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2004-03-19 13:05:27 +0000 |
| commit | eab3b1d134cc58d975a81cacfb5ef4008aeefec6 (patch) | |
| tree | 360f4b14db1b291ceab450332be012ac50620bd9 /generic/proof-site.el | |
| parent | 4791a7e43e5bb3dba154265abf3caa684663db83 (diff) | |
.v7 and .v8 added as coq file possible extensions.
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 6a8fb15b..5f2d7315 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -115,7 +115,7 @@ You can use customize to set this variable." (isa "Isabelle" "\\.ML$\\|\\.thy$") (isar "Isabelle/Isar" "\\.thy$") (lego "LEGO" "\\.l$") - (coq "Coq" "\\.v$") + (coq "Coq" "\\.v$\\|\\.v8$\\|\\.v7$") (phox "PhoX" "\\.phx$") ;; The following provers are not fully supported, and have only ;; preliminary support written (please volunteer to improve them!) |