From 41accc23bcf36a3b2646eb1a5f6b2db922c104fb Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 3 May 2002 15:11:10 +0000
Subject: tuned comment;

---
 isar/isar.el | 1 -
 1 file changed, 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index d6210bc3..c2aa847d 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -188,7 +188,6 @@
    proof-shell-error-regexp             "\364\\*\\*\\*"
    proof-shell-abort-goal-regexp        nil     ; n.a.
 
-   ;; da: added next two 2.5.02
    proof-shell-next-error-regexp	  "\\((line \\([0-9]+\\) of \"[^\"]+\")\\)"
    proof-shell-next-error-filename-regexp "\\((line [0-9]+ of \"\\([^\"]+\\)\")\\)"
 
-- 
cgit v1.2.3