From ea03ed2f4ffee16e40bbd80cfe335cd7df9a9ead Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 21 Sep 2000 13:19:23 +0000
Subject: bug2: Resolved as of 17.9.00;

---
 etc/isar/README | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/etc/isar/README b/etc/isar/README
index 8ea841ee..b2f5ffb2 100644
--- a/etc/isar/README
+++ b/etc/isar/README
@@ -5,5 +5,4 @@ bad1.thy:
 bad2.thy:
   Bug test case: synchronization problem on starting Isar process,
   doesn't catch the first error.
-  Unresolved as of 13.9.00.
-
+  Resolved as of 17.9.00
-- 
cgit v1.2.3