diff options
Diffstat (limited to 'etc/isar')
| -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 |