Novix writes: didn't know xemacs is not supported anymore. Too bad. I don't know why xemacs was dropped in Proof General 4.0, if you want to use Proof General with xemacs I suggest you ask on the proofgeneral-devel mailing list.
Not sure if you're still interested, but here's the full log, and the pkg versions. Thanks for the full info, it confirms my guess about the compilation problem with emacs23-nox. A new package fixing this bug is now waiting at mentors.debian.net... Bye, Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
