Hi, thanks for the problem report, however, there is too little information in it.
Novix writes: During upgrade from 3.x, proofgeneral install failed. This is certainly a bug. However, I cannot reproduce it. Please provide the versions of all proofgeneral and [x]emacs packages that you had installed before the upgrade. Can you work around the upgrade problem by first purging all old Proof General packages? Although unconfigured, console emacs23 still works, but xemacs21 does not. I am sorry, I don't understand. What precisely is the problem here? You are aware of the fact that Proof General does not support xemacs any longer? $ aptitude install proofgeneral 2>&1 | grep -C10 -i error Please provide the complete output. From the fragment I don't even see which script failed. Bye, Hendrik PS. I am on vacation next week, please be patient. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
