[isabelle] Trouble with Proof General


When I start up GNU emacs from the command line in terminal I get this report at the bottom of the emacs window concerning ProofGeneral:


File `/Users/clintonlefort/ProofGeneral/generic/proof-autoloads.elc' was not compiled in Emacs

What does this mean?


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