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