Admin/ProofGeneral/menu.patch
author wenzelm
Fri Nov 27 00:59:01 2009 +0100 (2009-11-27)
changeset 33908 7c473c4d42f4
parent 33905 5760ba045bf0
permissions -rw-r--r--
more menu entries -- backport from PG 4.0 branch;
     1 --- a/isar/isar.el	2008-07-10 20:47:49.000000000 +0200
     2 +++ b/isar/isar.el	2009-11-26 20:51:44.103016094 +0100
     3 @@ -339,9 +339,12 @@
     4       (error "Aborted."))
     5    [(control p)])
     6  
     7 -(proof-definvisible isar-cmd-refute	"refute" [r])
     8  (proof-definvisible isar-cmd-quickcheck "quickcheck" [(control q)])
     9 +(proof-definvisible isar-cmd-nitpick "nitpick" [(control n)])
    10 +(proof-definvisible isar-cmd-refute "refute" [r])
    11  (proof-definvisible isar-cmd-sledgehammer "sledgehammer" [(control s)])
    12 +(proof-definvisible isar-cmd-atp-kill "atp_kill")
    13 +(proof-definvisible isar-cmd-atp-info "atp_info")
    14  
    15  (defpgdefault menu-entries
    16    (append
    17 @@ -349,9 +352,12 @@
    18     (list
    19      (cons "Commands"
    20            (list
    21 -           ["refute"             isar-cmd-refute         t]
    22             ["quickcheck"         isar-cmd-quickcheck     t]
    23 +           ["nitpick"            isar-cmd-nitpick        t]
    24 +           ["refute"             isar-cmd-refute         t]
    25             ["sledgehammer"       isar-cmd-sledgehammer   t]
    26 +	   ["sledgehammer: kill" isar-cmd-atp-kill       t]
    27 +	   ["sledgehammer: info" isar-cmd-atp-info       t]
    28  	   ["display draft"	 isar-cmd-display-draft  t])))
    29     (list
    30      (cons "Show me ..."