Admin/ProofGeneral/menu.patch
author wenzelm
Thu, 26 Nov 2009 15:28:42 +0100
changeset 33905 5760ba045bf0
child 33908 7c473c4d42f4
permissions -rw-r--r--
additional menu entries;
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
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
     2
+++ b/isar/isar.el	2009-11-26 15:17:36.000000000 +0100
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
     3
@@ -339,8 +339,9 @@
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)])
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
    12
 
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
    13
 (defpgdefault menu-entries
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
    14
@@ -349,8 +350,9 @@
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
    15
    (list
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
    16
     (cons "Commands"
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
    17
           (list
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
    18
-           ["refute"             isar-cmd-refute         t]
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
    19
            ["quickcheck"         isar-cmd-quickcheck     t]
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
    20
+           ["nitpick"            isar-cmd-nitpick        t]
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
    21
+           ["refute"             isar-cmd-refute         t]
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
    22
            ["sledgehammer"       isar-cmd-sledgehammer   t]
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
    23
 	   ["display draft"	 isar-cmd-display-draft  t])))
5760ba045bf0 additional menu entries;
wenzelm
parents:
diff changeset
    24
    (list