additional menu entries;
authorwenzelm
Thu Nov 26 15:28:42 2009 +0100 (2009-11-26)
changeset 339055760ba045bf0
parent 33904 86cef0304298
child 33906 1eebf19b773e
additional menu entries;
Admin/ProofGeneral/menu.patch
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/ProofGeneral/menu.patch	Thu Nov 26 15:28:42 2009 +0100
     1.3 @@ -0,0 +1,24 @@
     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 +      (error "Aborted."))
     1.8 +   [(control p)])
     1.9 + 
    1.10 +-(proof-definvisible isar-cmd-refute	"refute" [r])
    1.11 + (proof-definvisible isar-cmd-quickcheck "quickcheck" [(control q)])
    1.12 ++(proof-definvisible isar-cmd-nitpick "nitpick" [(control n)])
    1.13 ++(proof-definvisible isar-cmd-refute "refute" [r])
    1.14 + (proof-definvisible isar-cmd-sledgehammer "sledgehammer" [(control s)])
    1.15 + 
    1.16 + (defpgdefault menu-entries
    1.17 +@@ -349,8 +350,9 @@
    1.18 +    (list
    1.19 +     (cons "Commands"
    1.20 +           (list
    1.21 +-           ["refute"             isar-cmd-refute         t]
    1.22 +            ["quickcheck"         isar-cmd-quickcheck     t]
    1.23 ++           ["nitpick"            isar-cmd-nitpick        t]
    1.24 ++           ["refute"             isar-cmd-refute         t]
    1.25 +            ["sledgehammer"       isar-cmd-sledgehammer   t]
    1.26 + 	   ["display draft"	 isar-cmd-display-draft  t])))
    1.27 +    (list