From b72c81f8090c1326fe819ea4c0a2714c0944b8e8 Mon Sep 17 00:00:00 2001 From: Pierre-Yves Strub Date: Fri, 29 Jan 2016 14:59:42 +0100 Subject: Import EasyCrypt PG mode --- generic/proof-site.el | 1 + 1 file changed, 1 insertion(+) (limited to 'generic') diff --git a/generic/proof-site.el b/generic/proof-site.el index 521a8d8c..e4fe9096 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -40,6 +40,7 @@ (isar "Isabelle" "thy") (coq "Coq" "v" nil (".vo" ".glob")) (phox "PhoX" "phx") + (easycrypt "EasyCrypt" "ec" ".*\\.eca?") ;; Obscure instances or conflict with other Emacs modes. -- cgit v1.2.3