From b72c81f8090c1326fe819ea4c0a2714c0944b8e8 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub <pierre-yves@strub.nu>
Date: Fri, 29 Jan 2016 14:59:42 +0100
Subject: Import EasyCrypt PG mode

---
 easycrypt/easycrypt-abbrev.el | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 easycrypt/easycrypt-abbrev.el

(limited to 'easycrypt/easycrypt-abbrev.el')

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)
-- 
cgit v1.2.3