NEWS
changeset 48574 4af9f3122138
parent 48431 6efff142bb54
child 48585 a82910dd2270
     1.1 --- a/NEWS	Sat Jul 28 13:01:48 2012 +0200
     1.2 +++ b/NEWS	Sat Jul 28 13:11:58 2012 +0200
     1.3 @@ -72,6 +72,11 @@
     1.4  without exception positions and advanced ML compiler/toplevel
     1.5  configuration.
     1.6  
     1.7 +* Discontinued special treatment of Proof General -- no longer guess
     1.8 +PROOFGENERAL_HOME based on accidental file-system layout.  Minor
     1.9 +INCOMPATIBILITY: provide PROOFGENERAL_HOME and PROOFGENERAL_OPTIONS
    1.10 +settings manually, or use a Proof General version that has been
    1.11 +bundled as Isabelle component.
    1.12  
    1.13  
    1.14  New in Isabelle2012 (May 2012)