[isabelle] Trouble with Proof General





Hello,


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:

./bin/Isabelle

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

What does this mean?


CL





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