diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-10-26 17:18:16 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-10-26 17:18:16 +0000 |
| commit | 2964b8b97c522456059803439a042bca4c807c49 (patch) | |
| tree | b6418445e79e89554d8e4b0fe91c3258883135ca /isar | |
| parent | 0501a503f1778949ca7e9085e3c238702dc9bc28 (diff) | |
replaced remove_thy by kill_thy (more robust);
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-syntax.el | 5 |
1 files 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) |