diff options
Diffstat (limited to 'easycrypt/easycrypt-abbrev.el')
-rw-r--r-- | easycrypt/easycrypt-abbrev.el | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/easycrypt/easycrypt-abbrev.el b/easycrypt/easycrypt-abbrev.el new file mode 100644 index 00000000..3850ffb7 --- /dev/null +++ b/easycrypt/easycrypt-abbrev.el @@ -0,0 +1,25 @@ +;; -------------------------------------------------------------------- +;; Copyright (c) - 2012--2016 - IMDEA Software Institute +;; Copyright (c) - 2012--2016 - Inria +;; +;; Distributed under the terms of the GPL-v3 license +;; -------------------------------------------------------------------- + +(require 'proof) +(require 'easycrypt-syntax) + +(defpgdefault menu-entries + '( + ["Use Three Panes" proof-three-window-toggle + :style toggle + :active (not proof-multiple-frames-enable) + :selected proof-three-window-enable + :help "Use three panes"] + + ["Weak-check mode" easycrypt-proof-weak-mode-toggle + :style toggle + :selected easycrypt-proof-weak-mode + :help "Toggles EasyCrypt check mode."] +)) + +(provide 'easycrypt-abbrev) |