Byte-compilation of ProofGeneral 4.2 with the Emacs 24.2.90 pretest version fails in pg-response.el:
In toplevel form: generic/pg-response.el:104:23:Error: `special-display-regexps' is an obsolete variable (as of 24.3); use `display-buffer-alist' instead. _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel