From 2964b8b97c522456059803439a042bca4c807c49 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 26 Oct 1999 17:18:16 +0000
Subject: replaced remove_thy by kill_thy (more robust);

---
 isar/isar-syntax.el | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 351381b4..c762d4de 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -257,11 +257,10 @@
 (defconst isar-kill "kill;")
 
 (defun isar-remove (name)
-  (concat "init_toplevel; remove_thy \"" name "\";"))
+  (concat "init_toplevel; kill_thy \"" name "\";"))
 
 (defun isar-undos (i)
-  (if (> i 0)
-      (concat "undos_proof " (int-to-string i) ";")
+  (if (> i 0) (concat "undos_proof " (int-to-string i) ";")
     proof-no-command))
 
 (defun isar-cannot-undo (cmd)
-- 
cgit v1.2.3