diff options
| -rw-r--r-- | isar/isar.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar.el b/isar/isar.el index 1bfc4ca3..160f2d70 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -1,4 +1,4 @@ -;; isar.el Major mode for Isabelle/Isar proof assistant +; isar.el Major mode for Isabelle/Isar proof assistant ;; Copyright (C) 1994-2004 LFCS Edinburgh. ;; ;; License: GPL (GNU GENERAL PUBLIC LICENSE) @@ -473,7 +473,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 2 str))) + (setq ans (isar-remove (match-string 3 str))) (setq span nil)) ;; context switch: kill ((proof-string-match isar-undo-kill-regexp str) |