> Incidentally, after removing that entry, the ProofGeneral icon does > still appear in the Application menu even though its not used for
Yes, I believe I also saw this. I attributed this to some caching and hope that this goes away when we solve the other problem. Hendrik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
