From a825ef971fedfd36d83538b368f1104171200ca5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 10 Aug 2001 12:55:55 +0000
Subject: Bug test case, note workaround date

---
 etc/isar/XEmacsSyntacticContextProb.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/isar/XEmacsSyntacticContextProb.thy b/etc/isar/XEmacsSyntacticContextProb.thy
index 214cc0a3..d910a6ba 100644
--- a/etc/isar/XEmacsSyntacticContextProb.thy
+++ b/etc/isar/XEmacsSyntacticContextProb.thy
@@ -7,7 +7,7 @@
    Bug doesn't occur in GNU Emacs (using imp of buffer-syntactic context
    provided in proof-compat.el), nor in XEmacs 21.4
 
-   Workaround added 
+   Workaround added Fri Aug 10 13:55:28 BST 2001
 *)
 
 theory XEmacsSyntacticContextProb = Main:
-- 
cgit v1.2.3