Skip to main content

Browse the archive

Revision 443d2a4e031ad3cd47d5ce3e8438c8a4995583e0 authored by François Dupressoir on 09 December 2015, 08:57:12 UTC, committed by Pierre-Yves Strub on 09 December 2015, 10:51:23 UTC 
Additions and typos in NewFMap.
1 parent 4321103
Raw File
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.
back to top