[isabelle] help



    When Isabelle was run , the error
-"/usr/local/ProofGeneral/generic/proof-autoloads.elc was not compiled
in Emacs "was show.Why is it? 





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.