> 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 debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
