Skip to main content

Browse the archive

Revision c29fc84354e42e710d57e74fc0340bb1846c108a authored by Benjamin Gregoire on 02 December 2015, 11:14:08 UTC, committed by Benjamin Gregoire on 02 December 2015, 11:14:36 UTC 
remove useless space in lemmas printing.
1 parent 4be5d7a
Raw File
easycrypt-abbrev.el 
(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)
back to top