diff options
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. |