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