Re: [isabelle] Trouble with Proof General



 
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

-----Original Message-----
From: cl-isabelle-users-bounces at lists.cam.ac.uk
[mailto:cl-isabelle-users-bounces at lists.cam.ac.uk] On Behalf Of clefort
Sent: Monday, December 11, 2006 9:12 AM
To: cl-isabelle-users at lists.cam.ac.uk
Subject: [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.