Re: [isabelle] Trouble with Proof General

Hi clefort,

The second section on the FAQ on the Proof general website concerns that
topic :

In essence, you'll have to recompile for Emacs. I've done it once or
twice and it normally doesn't have any glitches. 


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