Website states wrong minimal emacs version

[coquser]

http://proofgeneral.inf.ed.ac.uk/download#prereq says that emacs 23.1 or later is required, but 4.1RC2 requires version 23.3 or later:

In toplevel form:
coq/coq.el:443:24:Error: reference to free variable `smie-rules-function'
make[1]: *** [coq/coq.elc] Error 1

[coquser]

The COMPATIBILITY file does claim that it works with 23.2, too.

[David Aspinall]

Thanks for the report. The compatibility is fixed again in RC3.