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