Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/ProofGeneral/menu.patch
author blanchet
Sat, 11 Sep 2010 10:21:52 +0200
changeset 39318 ad9a1f9b0558
parent 33908 7c473c4d42f4
permissions -rw-r--r--
implemented Auto Sledgehammer
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
33905
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
     1
 
--- a/isar/isar.el	2008-07-10 20:47:49.000000000 +0200
33908
7c473c4d42f4 more menu entries -- backport from PG 4.0 branch;
wenzelm
parents: 33905
diff changeset 
     2
 
+++ b/isar/isar.el	2009-11-26 20:51:44.103016094 +0100
7c473c4d42f4 more menu entries -- backport from PG 4.0 branch;
wenzelm
parents: 33905
diff changeset 
     3
 
@@ -339,9 +339,12 @@
33905
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
     4
 
      (error "Aborted."))
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
     5
 
   [(control p)])
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
     6
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
     7
 
-(proof-definvisible isar-cmd-refute	"refute" [r])
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
     8
 
 (proof-definvisible isar-cmd-quickcheck "quickcheck" [(control q)])
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
     9
 
+(proof-definvisible isar-cmd-nitpick "nitpick" [(control n)])
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    10
 
+(proof-definvisible isar-cmd-refute "refute" [r])
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    11
 
 (proof-definvisible isar-cmd-sledgehammer "sledgehammer" [(control s)])
33908
7c473c4d42f4 more menu entries -- backport from PG 4.0 branch;
wenzelm
parents: 33905
diff changeset 
    12
 
+(proof-definvisible isar-cmd-atp-kill "atp_kill")
7c473c4d42f4 more menu entries -- backport from PG 4.0 branch;
wenzelm
parents: 33905
diff changeset 
    13
 
+(proof-definvisible isar-cmd-atp-info "atp_info")
33905
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    14
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    15
 
 (defpgdefault menu-entries
33908
7c473c4d42f4 more menu entries -- backport from PG 4.0 branch;
wenzelm
parents: 33905
diff changeset 
    16
 
   (append
7c473c4d42f4 more menu entries -- backport from PG 4.0 branch;
wenzelm
parents: 33905
diff changeset 
    17
 
@@ -349,9 +352,12 @@
33905
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    18
 
    (list
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    19
 
     (cons "Commands"
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    20
 
           (list
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    21
 
-           ["refute"             isar-cmd-refute         t]
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    22
 
            ["quickcheck"         isar-cmd-quickcheck     t]
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    23
 
+           ["nitpick"            isar-cmd-nitpick        t]
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    24
 
+           ["refute"             isar-cmd-refute         t]
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    25
 
            ["sledgehammer"       isar-cmd-sledgehammer   t]
33908
7c473c4d42f4 more menu entries -- backport from PG 4.0 branch;
wenzelm
parents: 33905
diff changeset 
    26
 
+	   ["sledgehammer: kill" isar-cmd-atp-kill       t]
7c473c4d42f4 more menu entries -- backport from PG 4.0 branch;
wenzelm
parents: 33905
diff changeset 
    27
 
+	   ["sledgehammer: info" isar-cmd-atp-info       t]
33905
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    28
 
 	   ["display draft"	 isar-cmd-display-draft  t])))
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset 
    29
 
    (list
33908
7c473c4d42f4 more menu entries -- backport from PG 4.0 branch;
wenzelm
parents: 33905
diff changeset 
    30
 
     (cons "Show me ..."
isabelle