coqgeneral 4.3pre130327 does not compile with Emacs 24.3

[coquser]

I have the following error at compile time:

generic/pg-response.el:104:23:Error: special-display-regexps' is an obsolete variable (as of 24.3); use display-buffer-alist' instead.

[David Aspinall]

Thanks for reporting. This is a duplicate of #458. Suggest to use interpreted files for now, don't try to compile.

[coquser]

compilation has changed, see #458