NEWS
changeset 68219 c0341c0080e2
parent 68200 5859c688102a
child 68246 b48bab511939
     1.1 --- a/NEWS	Sat May 19 14:52:01 2018 +0200
     1.2 +++ b/NEWS	Sat May 19 15:45:45 2018 +0200
     1.3 @@ -351,6 +351,12 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* Settings ISABELLE_PATH and ISABELLE_OUTPUT have been discontinued:
     1.8 +heap images and session databases are always stored in
     1.9 +$ISABELLE_HOME_USER/heaps/$ML_IDENTIFIER (command-line default) or
    1.10 +$ISABELLE_HOME/heaps/$ML_IDENTIFIER (main Isabelle application or
    1.11 +"isabelle jedit -s" or "isabelle build -s").
    1.12 +
    1.13  * The command-line tool retrieves theory exports from the session build
    1.14  database.
    1.15