472 outline: its options have been adapted accordingly. INCOMPATIBILITY. |
472 outline: its options have been adapted accordingly. INCOMPATIBILITY. |
473 |
473 |
474 * The command-line tool "isabelle mkroot -I" initializes a Mercurial |
474 * The command-line tool "isabelle mkroot -I" initializes a Mercurial |
475 repository for the generated session files. |
475 repository for the generated session files. |
476 |
476 |
|
477 * Settings ISABELLE_HEAPS + ISABELLE_BROWSER_INFO (or |
|
478 ISABELLE_HEAPS_SYSTEM + ISABELLE_BROWSER_INFO_SYSTEM in "system build |
|
479 mode") determine the directory locations of the main build artefacts -- |
|
480 instead of hard-wired directories in ISABELLE_HOME_USER (or |
|
481 ISABELLE_HOME). |
|
482 |
477 * Settings ISABELLE_PATH and ISABELLE_OUTPUT have been discontinued: |
483 * Settings ISABELLE_PATH and ISABELLE_OUTPUT have been discontinued: |
478 heap images and session databases are always stored in |
484 heap images and session databases are always stored in |
479 $ISABELLE_HOME_USER/heaps/$ML_IDENTIFIER (command-line default) or |
485 $ISABELLE_HEAPS/$ML_IDENTIFIER (command-line default) or |
480 $ISABELLE_HOME/heaps/$ML_IDENTIFIER (main Isabelle application or |
486 $ISABELLE_HEAPS_SYSTEM/$ML_IDENTIFIER (main Isabelle application or |
481 "isabelle jedit -s" or "isabelle build -s"). |
487 "isabelle jedit -s" or "isabelle build -s"). |
482 |
488 |
483 * ISABELLE_LATEX and ISABELLE_PDFLATEX now include platform-specific |
489 * ISABELLE_LATEX and ISABELLE_PDFLATEX now include platform-specific |
484 options for improved error reporting. Potential INCOMPATIBILITY with |
490 options for improved error reporting. Potential INCOMPATIBILITY with |
485 unusual LaTeX installations, may have to adapt these settings. |
491 unusual LaTeX installations, may have to adapt these settings. |