From 371e59361175aba7d3cfe6b71b57385afc48dd3a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Jun 2004 16:06:37 +0000
Subject: Fix for name matching changes grouping in isar-undo-remove-regexp.

---
 isar/isar.el | 4 ++--
 1 file 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)
-- 
cgit v1.2.3