From 1a411c647f7af7354ca53f8a8d5158cef512dda1 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 29 Jun 2010 16:04:29 +0000
Subject: removed some old commands;

---
 isar/isar.el | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/isar/isar.el b/isar/isar.el
index 127242cf..e0fa7362 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -366,8 +366,6 @@ This is called when Proof General spots output matching
 (proof-definvisible isar-cmd-nitpick "nitpick" [(control n)])
 (proof-definvisible isar-cmd-refute "refute" [r])
 (proof-definvisible isar-cmd-sledgehammer "sledgehammer" [(control s)])
-(proof-definvisible isar-cmd-atp-kill "atp_kill")
-(proof-definvisible isar-cmd-atp-info "atp_info")
 
 (defpgdefault menu-entries
   (append
@@ -379,8 +377,6 @@ This is called when Proof General spots output matching
 	   ["Nitpick"            isar-cmd-nitpick        t]
 	   ["Refute"             isar-cmd-refute         t]
 	   ["Sledgehammer"       isar-cmd-sledgehammer   t]
-	   ["Sledgehammer: kill" isar-cmd-atp-kill       t]
-	   ["Sledgehammer: info" isar-cmd-atp-info       t]
 	   ["Display Draft"	 isar-cmd-display-draft  t]
 	   ["Print Draft"	 isar-cmd-print-draft    t])))
    (list
-- 
cgit v1.2.3