Thanks, now at http://proofgeneral.inf.ed.ac.uk/trac/ticket/458. - D.
On 30 Nov 2012, at 12:34, Ulrich Mueller <u...@gentoo.org> wrote: > 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 > -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel