During upgrade from 3.x, proofgeneral install failed. The problem is that Proof General assumes that the packages 'fontset and 'tool-bar are always loaded. This is however not the case in emacs23-nox. I'll fix this upstream.
Bye, Hendrik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
