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