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