diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-01-26 11:32:46 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-01-26 11:32:46 +0100 |
commit | cf290f2da6513c42ad57620136c7e6b6cebf8e11 (patch) | |
tree | b1114d17e8c507bae32520851b468d1ac4770232 /generic/proof-site.el | |
parent | c6e44de22de8dfe7a5c9521201937a8302ec12c9 (diff) | |
parent | 4bcac92df46da9e68b5e3d565bb118fb63b4feb4 (diff) |
Merge branch 'master' of github.com:ProofGeneral/PG into master_origin
Diffstat (limited to 'generic/proof-site.el')
-rw-r--r-- | generic/proof-site.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index c2f9f480..671c3c82 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -39,10 +39,11 @@ (isar "Isabelle" "thy") (coq "Coq" "v" nil (".vo" ".glob")) - (phox "PhoX" "phx") + (easycrypt "EasyCrypt" "ec" ".*\\.eca?") ;; Obscure instances or conflict with other Emacs modes. + ;; (phox "PhoX" "phx") ;; (lego "LEGO" "l") ;; (ccc "CASL Consistency Checker" "ccc") |