[isabelle-dev] NEWS: Proof General components

[Makarius]

*** 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.


 	Makarius