Email Gateway (Aug 18 2022 at 09:58): Email Gateway (Aug 18 2022 at 09:58):From: clefort <ipub@charter.net>
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
Email Gateway (Aug 18 2022 at 09:58):From: Primrose.Mbanefo@Infineon.com
Hi clefort,
The second section on the FAQ on the Proof general website concerns that
topic :
http://proofgeneral.inf.ed.ac.uk/FAQ
In essence, you'll have to recompile for Emacs. I've done it once or
twice and it normally doesn't have any glitches.
Primrose
Last updated: May 03 2024 at 12:27 UTC