From a34b3f178b95f9d1a1c93d9d1c3966bf83d170b0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 13 Sep 2000 15:56:24 +0000
Subject: Added some bug test cases.

---
 etc/isar/README   | 9 +++++++++
 etc/isar/bad1.thy | 3 +++
 etc/isar/bad2.thy | 1 +
 3 files changed, 13 insertions(+)
 create mode 100644 etc/isar/README
 create mode 100644 etc/isar/bad1.thy
 create mode 100644 etc/isar/bad2.thy

diff --git a/etc/isar/README b/etc/isar/README
new file mode 100644
index 00000000..8ea841ee
--- /dev/null
+++ b/etc/isar/README
@@ -0,0 +1,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.
+
diff --git a/etc/isar/bad1.thy b/etc/isar/bad1.thy
new file mode 100644
index 00000000..a355389f
--- /dev/null
+++ b/etc/isar/bad1.thy
@@ -0,0 +1,3 @@
+(*foo*)
+foo
+end
diff --git a/etc/isar/bad2.thy b/etc/isar/bad2.thy
new file mode 100644
index 00000000..11fecd77
--- /dev/null
+++ b/etc/isar/bad2.thy
@@ -0,0 +1 @@
+theory A = unknown:
-- 
cgit v1.2.3