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;
wenzelm@33905
     1
--- a/isar/isar.el	2008-07-10 20:47:49.000000000 +0200
wenzelm@33908
     2
+++ b/isar/isar.el	2009-11-26 20:51:44.103016094 +0100
wenzelm@33908
     3
@@ -339,9 +339,12 @@
wenzelm@33905
     4
      (error "Aborted."))
wenzelm@33905
     5
   [(control p)])
wenzelm@33905
     6
 
wenzelm@33905
     7
-(proof-definvisible isar-cmd-refute	"refute" [r])
wenzelm@33905
     8
 (proof-definvisible isar-cmd-quickcheck "quickcheck" [(control q)])
wenzelm@33905
     9
+(proof-definvisible isar-cmd-nitpick "nitpick" [(control n)])
wenzelm@33905
    10
+(proof-definvisible isar-cmd-refute "refute" [r])
wenzelm@33905
    11
 (proof-definvisible isar-cmd-sledgehammer "sledgehammer" [(control s)])
wenzelm@33908
    12
+(proof-definvisible isar-cmd-atp-kill "atp_kill")
wenzelm@33908
    13
+(proof-definvisible isar-cmd-atp-info "atp_info")
wenzelm@33905
    14
 
wenzelm@33905
    15
 (defpgdefault menu-entries
wenzelm@33908
    16
   (append
wenzelm@33908
    17
@@ -349,9 +352,12 @@
wenzelm@33905
    18
    (list
wenzelm@33905
    19
     (cons "Commands"
wenzelm@33905
    20
           (list
wenzelm@33905
    21
-           ["refute"             isar-cmd-refute         t]
wenzelm@33905
    22
            ["quickcheck"         isar-cmd-quickcheck     t]
wenzelm@33905
    23
+           ["nitpick"            isar-cmd-nitpick        t]
wenzelm@33905
    24
+           ["refute"             isar-cmd-refute         t]
wenzelm@33905
    25
            ["sledgehammer"       isar-cmd-sledgehammer   t]
wenzelm@33908
    26
+	   ["sledgehammer: kill" isar-cmd-atp-kill       t]
wenzelm@33908
    27
+	   ["sledgehammer: info" isar-cmd-atp-info       t]
wenzelm@33905
    28
 	   ["display draft"	 isar-cmd-display-draft  t])))
wenzelm@33905
    29
    (list
wenzelm@33908
    30
     (cons "Show me ..."