diff options
author | Pierre-Yves Strub <pierre-yves@strub.nu> | 2016-01-29 14:59:42 +0100 |
---|---|---|
committer | Pierre-Yves Strub <pierre-yves@strub.nu> | 2016-01-29 14:59:42 +0100 |
commit | b72c81f8090c1326fe819ea4c0a2714c0944b8e8 (patch) | |
tree | ef871c03f9cfa071ba70ba6c344fd05fa8676bef /easycrypt/easycrypt-abbrev.el | |
parent | 626013259652e208ce99c84463e05ce22e62484a (diff) |
Import EasyCrypt PG mode
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) |