diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-09 15:27:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-09 15:27:54 +0000 |
| commit | 6be19ebc71ad08dcb6c8ebafba73348be3137e03 (patch) | |
| tree | 25f6f529053021cb3d78d0fe9999cd2b8cd9d4c7 /etc | |
| parent | 60e3a6c2d0e27ba6348b882105887cd4100170c6 (diff) | |
Patch for buggy derived.el in XEmacs 21.5.b28
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/coq/xemacs21528.v | 7 |
1 files changed, 6 insertions, 1 deletions
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. |