diff options
| author |  Clément Pit-Claudel <cpitclaudel@gmail.com> | 2017-06-19 23:32:07 -0400 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-06-19 23:32:07 -0400 |
| commit | 18e0b4b1e7f752fac9a02b07b8e0bd882fdcce31 (patch) | |
| tree | 09f34f8067d4a5ca6c3f6168e1dc64746dfa267f | |
| parent | 2db26fbfa3571f054953b785dd634d1da0664ecd (diff) | |
| parent | 3f9ba5e4523f217613336644ca6530990fcf74a3 (diff) | |
Merge pull request #189 from marsam/master
Fix easycrypt automode regexp
| -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 17ca325c..df17229d 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -39,7 +39,7 @@ (isar "Isabelle" "thy") (coq "Coq" "v" nil (".vo" ".glob")) - (easycrypt "EasyCrypt" "ec" ".*\\.eca?") + (easycrypt "EasyCrypt" "ec" "\\.eca?\\'") ;; Obscure instances or conflict with other Emacs modes. |