--- a/Admin/ProofGeneral/3.7.1.1/menu.patch Thu Oct 30 23:14:11 2014 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,30 +0,0 @@
---- a/isar/isar.el 2008-07-10 20:47:49.000000000 +0200
-+++ b/isar/isar.el 2009-11-26 20:51:44.103016094 +0100
-@@ -339,9 +339,12 @@
- (error "Aborted."))
- [(control p)])
-
--(proof-definvisible isar-cmd-refute "refute" [r])
- (proof-definvisible isar-cmd-quickcheck "quickcheck" [(control q)])
-+(proof-definvisible isar-cmd-nitpick "nitpick" [(control n)])
-+(proof-definvisible isar-cmd-refute "refute" [r])
- (proof-definvisible isar-cmd-sledgehammer "sledgehammer" [(control s)])
-+(proof-definvisible isar-cmd-atp-kill "atp_kill")
-+(proof-definvisible isar-cmd-atp-info "atp_info")
-
- (defpgdefault menu-entries
- (append
-@@ -349,9 +352,12 @@
- (list
- (cons "Commands"
- (list
-- ["refute" isar-cmd-refute t]
- ["quickcheck" isar-cmd-quickcheck t]
-+ ["nitpick" isar-cmd-nitpick t]
-+ ["refute" isar-cmd-refute t]
- ["sledgehammer" isar-cmd-sledgehammer t]
-+ ["sledgehammer: kill" isar-cmd-atp-kill t]
-+ ["sledgehammer: info" isar-cmd-atp-info t]
- ["display draft" isar-cmd-display-draft t])))
- (list
- (cons "Show me ..."