Novix writes: During upgrade from 3.x, proofgeneral install failed. OK, I can reproduce the installation failure. The problem seems to be that Proof General cannot be compiled with emacs23-nox. I don't know yet if this is a problem in the dependencies or in the upstream code.
Could you try if the problem goes away with installing emacs23 or emacs23-lucid before installing/upgrading proofgeneral? Bye, Hendrik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
