easycrypt/easycrypt-abbrev.el


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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)