Faults with main regexps in XEmacs 21.5(b28) for Coq

[David Aspinall]

The above version of XEmacs (standard XEmacs on Fedora 7) has problems with matching ends of commands properly. It trips up on the standard test example.v file, as well as, e.g., examples given in #141.

[David Aspinall]

Another bad example:

Module Type T.

Parameter p1 : nat.
Parameter p2 : nat.
Parameter p3 : nat.
Parameter p4 : nat.
Parameter p5 : nat.
Parameter p6 : nat.
Parameter p7 : nat.
Parameter p8 : nat.

End T

[David Aspinall]

Regexps were failing because
s- was not matching newlines.

It turns out that the syntax table for derived modes built in derived.el isn't properly merged with the default, suspect bugs there; this is a terrible version of XEmacs for the Linux distros to bundle!

Patched in generic/proof-script.el 8.13.