diff options
| author | David Aspinall | 2004-06-16 16:06:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-16 16:06:37 +0000 |
| commit | 371e59361175aba7d3cfe6b71b57385afc48dd3a (patch) | |
| tree | 4d91463c9480b62fd2a00349eada156b415e93ae | |
| parent | 27e42b688f8bc872a0d6c18f8a91c2b6e2320aa6 (diff) | |
Fix for name matching changes grouping in isar-undo-remove-regexp.
| -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) |