I spend some time to find a fix for tickets #458. The problem is
that special-display-regexps is obsolete in 24.3, while its
replacement, display-buffer-alist was only introduced in 24.1 and
not fully functional before 24.3. Writing compatible code for
emacs 23 and 24 without obsolete warning therefore requires
explicit version checks.

I therefore suggest that we change to display-buffer-alist when
we drop support for Emacs 23.

To fix #458, warnings should be non-fatal when users compile
Proof General for their local emacs. I just committed the
necessary changes in the Makefile. For developers, there is now
the new target 'check' that retains the old behavior, i.e.,
stopping compilation on every byte-compilation warning.


ProofGeneral-devel mailing list

Reply via email to