[isabelle-dev] NEWS: Proof General components
makarius at sketis.net
Sat Jul 28 20:49:26 CEST 2012
*** System ***
* Discontinued special treatment of Proof General -- no longer guess
PROOFGENERAL_HOME based on accidental file-system layout. Minor
INCOMPATIBILITY: provide PROOFGENERAL_HOME and PROOFGENERAL_OPTIONS
settings manually, or use a Proof General version that has been
bundled as Isabelle component.
This refers to Isabelle/4af9f3122138.
See also http://isabelle.in.tum.de/components/ for the cumulative store of
standard Isabelle components.
More information about the isabelle-dev