Revision 9f6a2f9c698e6c47fa841a0b040bc45d82a601c5 authored by Benjamin Gregoire on 07 July 2016, 06:32:45 UTC, committed by Benjamin Gregoire on 07 July 2016, 06:32:45 UTC
1 parent 776af38
proof-site.patch
--- proof-site.el.orig 2013-03-27 12:42:07.061084211 +0100
+++ proof-site.el 2013-03-27 12:41:51.080922301 +0100
@@ -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.
Computing file changes ...
