diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-09-21 13:19:23 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-21 13:19:23 +0000 |
commit | ea03ed2f4ffee16e40bbd80cfe335cd7df9a9ead (patch) | |
tree | ae3edc4c764e6394c9c50a1a7a64cc19ae0b3853 /etc/isar/README | |
parent | 36b3c475344f5fdd61f0d66c1e2d69cb522f3416 (diff) |
bug2: Resolved as of 17.9.00;
Diffstat (limited to 'etc/isar/README')
-rw-r--r-- | etc/isar/README | 3 |
1 files changed, 1 insertions, 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 |