Re: [isabelle] Isabelle2014 and ProofGeneral

On Sat, 13 Sep 2014, Ian Zimmerman wrote:

Makarius> The NEWS file provides all relevant entry points.

I am sorry, but this is simply not true.  The crucial fact that the
necessary script $ISABELLE_HOME/lib/Tools/emacs has been removed is not

That is subsumed by "its traditional helper scripts". If you initialize the mentioned "ProofGeneral-4.2-2" component in a standard way, it will work out of the box.


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