NEWS
changeset 68523 ccacc84e0251
parent 68522 d9cbc1e8644d
child 68531 7c6f812afdc4
child 68540 000a0e062529
     1.1 --- a/NEWS	Wed Jun 27 11:16:43 2018 +0200
     1.2 +++ b/NEWS	Wed Jun 27 20:31:22 2018 +0200
     1.3 @@ -474,10 +474,16 @@
     1.4  * The command-line tool "isabelle mkroot -I" initializes a Mercurial
     1.5  repository for the generated session files.
     1.6  
     1.7 +* Settings ISABELLE_HEAPS + ISABELLE_BROWSER_INFO (or
     1.8 +ISABELLE_HEAPS_SYSTEM + ISABELLE_BROWSER_INFO_SYSTEM in "system build
     1.9 +mode") determine the directory locations of the main build artefacts --
    1.10 +instead of hard-wired directories in ISABELLE_HOME_USER (or
    1.11 +ISABELLE_HOME).
    1.12 +
    1.13  * Settings ISABELLE_PATH and ISABELLE_OUTPUT have been discontinued:
    1.14  heap images and session databases are always stored in
    1.15 -$ISABELLE_HOME_USER/heaps/$ML_IDENTIFIER (command-line default) or
    1.16 -$ISABELLE_HOME/heaps/$ML_IDENTIFIER (main Isabelle application or
    1.17 +$ISABELLE_HEAPS/$ML_IDENTIFIER (command-line default) or
    1.18 +$ISABELLE_HEAPS_SYSTEM/$ML_IDENTIFIER (main Isabelle application or
    1.19  "isabelle jedit -s" or "isabelle build -s").
    1.20  
    1.21  * ISABELLE_LATEX and ISABELLE_PDFLATEX now include platform-specific