From 47095eb5059b06a989c2d2676eed30e272443b87 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 8 May 2007 11:50:58 +0000
Subject: added isar-cmd-sledgehammer;

---
 isar/isar.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/isar/isar.el b/isar/isar.el
index a1176dfb..d37d5815 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -338,6 +338,7 @@ proof-shell-retract-files-regexp."
 
 (proof-definvisible isar-cmd-refute	"refute" [r])
 (proof-definvisible isar-cmd-quickcheck "quickcheck" [(control q)])
+(proof-definvisible isar-cmd-sledgehammer "sledgehammer" [(control s)])
 
 (defpgdefault menu-entries
   (append
@@ -347,6 +348,7 @@ proof-shell-retract-files-regexp."
           (list
            ["refute"             isar-cmd-refute         t]
            ["quickcheck"         isar-cmd-quickcheck     t]
+           ["sledgehammer"       isar-cmd-sledgehammer   t]
 	   ["display draft"	 isar-cmd-display-draft  t])))
    (list
     (cons "Show me ..."
-- 
cgit v1.2.3