diff options
| author |  Pierre-Yves Strub <pierre-yves@strub.nu> | 2017-02-21 23:41:44 +0100 |
|---|---|---|
| committer |  Clément Pit--Claudel <cpitclaudel@gmail.com> | 2017-02-21 22:15:10 -0500 |
| commit | 12d6e92b5cac0ea1fda6f8f782067afe49b263ee (patch) | |
| tree | c8524696c98f49e098826a93fafbe4ca3f4b1f58 /easycrypt | |
| parent | 4bcac92df46da9e68b5e3d565bb118fb63b4feb4 (diff) | |
[ec mode]: update keywords
Diffstat (limited to 'easycrypt')
| -rw-r--r-- | easycrypt/easycrypt-keywords.el | 4 | ||||
| -rw-r--r-- | easycrypt/easycrypt.el | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/easycrypt/easycrypt-keywords.el b/easycrypt/easycrypt-keywords.el index 0bc10346..e0b9d369 100644 --- a/easycrypt/easycrypt-keywords.el +++ b/easycrypt/easycrypt-keywords.el @@ -5,7 +5,7 @@ ;; Distributed under the terms of the GPL-v3 license ;; -------------------------------------------------------------------- -; Generated on Thu Dec 17 16:14:05 2015 +; Generated on Tue Feb 21 23:37:34 2017 (defvar easycrypt-bytac-keywords '( "exact" @@ -43,6 +43,7 @@ "const" "op" "pred" + "inductive" "notation" "abbrev" "require" @@ -96,6 +97,7 @@ "hoare" "phoare" "islossless" + "async" )) (defvar easycrypt-tactic-keywords '( diff --git a/easycrypt/easycrypt.el b/easycrypt/easycrypt.el index ecea9744..017b2563 100644 --- a/easycrypt/easycrypt.el +++ b/easycrypt/easycrypt.el @@ -61,7 +61,6 @@ this list are strings." ;; -------------------------------------------------------------------- (defun easycrypt-prog-args () - (message "%s" easycrypt-load-path) (append easycrypt-prog-args (easycrypt-include-options))) ;; -------------------------------------------------------------------- |