more menu entries -- backport from PG 4.0 branch;
authorwenzelm
Fri Nov 27 00:59:01 2009 +0100 (2009-11-27)
changeset 339087c473c4d42f4
parent 33907 473f859e1c29
child 33909 24a9d433eb7f
more menu entries -- backport from PG 4.0 branch;
Admin/ProofGeneral/menu.patch
     1.1 --- a/Admin/ProofGeneral/menu.patch	Fri Nov 27 00:11:56 2009 +0100
     1.2 +++ b/Admin/ProofGeneral/menu.patch	Fri Nov 27 00:59:01 2009 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  --- a/isar/isar.el	2008-07-10 20:47:49.000000000 +0200
     1.5 -+++ b/isar/isar.el	2009-11-26 15:17:36.000000000 +0100
     1.6 -@@ -339,8 +339,9 @@
     1.7 ++++ b/isar/isar.el	2009-11-26 20:51:44.103016094 +0100
     1.8 +@@ -339,9 +339,12 @@
     1.9        (error "Aborted."))
    1.10     [(control p)])
    1.11   
    1.12 @@ -9,9 +9,12 @@
    1.13  +(proof-definvisible isar-cmd-nitpick "nitpick" [(control n)])
    1.14  +(proof-definvisible isar-cmd-refute "refute" [r])
    1.15   (proof-definvisible isar-cmd-sledgehammer "sledgehammer" [(control s)])
    1.16 ++(proof-definvisible isar-cmd-atp-kill "atp_kill")
    1.17 ++(proof-definvisible isar-cmd-atp-info "atp_info")
    1.18   
    1.19   (defpgdefault menu-entries
    1.20 -@@ -349,8 +350,9 @@
    1.21 +   (append
    1.22 +@@ -349,9 +352,12 @@
    1.23      (list
    1.24       (cons "Commands"
    1.25             (list
    1.26 @@ -20,5 +23,8 @@
    1.27  +           ["nitpick"            isar-cmd-nitpick        t]
    1.28  +           ["refute"             isar-cmd-refute         t]
    1.29              ["sledgehammer"       isar-cmd-sledgehammer   t]
    1.30 ++	   ["sledgehammer: kill" isar-cmd-atp-kill       t]
    1.31 ++	   ["sledgehammer: info" isar-cmd-atp-info       t]
    1.32   	   ["display draft"	 isar-cmd-display-draft  t])))
    1.33      (list
    1.34 +     (cons "Show me ..."