> I think this deserves an Emacs bug report. > see http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13400
Thanks, Stefan _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel