diff options
| author | David Aspinall | 2004-06-17 21:32:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-17 21:32:45 +0000 |
| commit | 3af94770dad3d79ab3b2fe6b5138fdd1b98bd9c4 (patch) | |
| tree | da1abcc4dd31dd9648866bf9d310c522d3f3c54c | |
| parent | 140485ef0541498e9a14c2d25489b0337cf869f0 (diff) | |
Fix index number back for isar-undo-remove-regexp, change isar-remove instead.
| -rw-r--r-- | isar/isar-syntax.el | 2 | ||||
| -rw-r--r-- | isar/isar.el | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 88ddd8f6..1fe541a6 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -394,7 +394,7 @@ matches contents of quotes for quoted identifiers.") (defconst isar-kill "kill;") (defun isar-remove (name) - (concat "init_toplevel; kill_thy \"" name "\";")) + (concat "init_toplevel; kill_thy " name ";")) (defun isar-undos (i) (if (> i 0) (concat "undos_proof " (int-to-string i) ";") diff --git a/isar/isar.el b/isar/isar.el index d3555896..5bbb6a6d 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -475,7 +475,7 @@ proof-shell-retract-files-regexp." (setq span nil)) ;; theory: remove and exit ((proof-string-match isar-undo-remove-regexp str) - (setq ans (isar-remove (match-string 3 str))) + (setq ans (isar-remove (match-string 2 str))) (setq span nil)) ;; context switch: kill ((proof-string-match isar-undo-kill-regexp str) |