Re: [isabelle] Trouble with Proof General
The second section on the FAQ on the Proof general website concerns that
In essence, you'll have to recompile for Emacs. I've done it once or
twice and it normally doesn't have any glitches.
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
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:
was not compiled in Emacs
What does this mean?
This archive was generated by a fusion of
Pipermail (Mailman edition) and