diff options
Diffstat (limited to 'easycrypt/easycrypt-abbrev.el')
| -rw-r--r-- | easycrypt/easycrypt-abbrev.el | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/easycrypt/easycrypt-abbrev.el b/easycrypt/easycrypt-abbrev.el new file mode 100644 index 00000000..6d87367f --- /dev/null +++ b/easycrypt/easycrypt-abbrev.el @@ -0,0 +1,18 @@ +(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) |