From 6be19ebc71ad08dcb6c8ebafba73348be3137e03 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 9 Dec 2007 15:27:54 +0000
Subject: Patch for buggy derived.el in XEmacs 21.5.b28

---
 etc/coq/xemacs21528.v | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'etc/coq')

diff --git a/etc/coq/xemacs21528.v b/etc/coq/xemacs21528.v
index bad593d7..b48ab9ee 100644
--- a/etc/coq/xemacs21528.v
+++ b/etc/coq/xemacs21528.v
@@ -1,4 +1,9 @@
-(* There are regexp problems with XEmacs 21.5.28 which break this example *)
+(* There are regexp problems with XEmacs 21.5.28 which break this example.
+
+   9.12.07: It turned out that the default syntax table wasn't merged 
+   properly with the default, suspect bugs in derived.el.
+   Patched in `proof-script.el' for now.
+*)
 
 Module Type T.
 
-- 
cgit v1.2.3