Thanks, now at http://proofgeneral.inf.ed.ac.uk/trac/ticket/458. - D.
On 30 Nov 2012, at 12:34, Ulrich Mueller <[email protected]> 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 > [email protected] > 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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
