etc/isar/README


1
2
3
4
5
6
7
8
9

bad1.thy:
  Bug test case: parser would silently skip bad command "foo".
  Resolved as of 13.9.00

bad2.thy:
  Bug test case: synchronization problem on starting Isar process,
  doesn't catch the first error.
  Unresolved as of 13.9.00.