NEWS
changeset 69268 c1a27fce2076
parent 69230 07fc77bf5eb6
child 69269 1bee990d443c
     1.1 --- a/NEWS	Thu Nov 08 15:52:10 2018 +0100
     1.2 +++ b/NEWS	Thu Nov 08 16:18:12 2018 +0100
     1.3 @@ -124,17 +124,36 @@
     1.4  presence of structurally broken sources: full consolidation of theories
     1.5  is no longer required.
     1.6  
     1.7 -* Support for OCaml via command-line tools "isabelle ocaml_setup",
     1.8 -"isabelle ocaml", "isabelle ocamlc", "isabelle ocaml_opam". Existing
     1.9 -settings variables ISABELLE_OCAML and ISABELLE_OCAMLC are maintained
    1.10 -dynamically according the state of ISABELLE_OPAM_ROOT and
    1.11 -ISABELLE_OCAML_VERSION.
    1.12 -
    1.13 -* Support for Glasgow Haskell Compiler via command-line tools "isabelle
    1.14 -ghc_setup", "isabelle ghci", "isabelle ghc", "isabelle ghc_stack".
    1.15 -Existing settings variable ISABELLE_GHC is maintained dynamically
    1.16 -according to the state of ISABELLE_STACK_ROOT and
    1.17 -ISABELLE_STACK_RESOLVER.
    1.18 +* Support for managed installations of Glasgow Haskell Compiler and
    1.19 +OCaml via the following command-line tools:
    1.20 +
    1.21 +  isabelle ghc_setup
    1.22 +  isabelle ghc_stack
    1.23 +
    1.24 +  isabelle ocaml_setup
    1.25 +  isabelle ocaml_opam
    1.26 +
    1.27 +The global installation state is determined by the following settings
    1.28 +(and corresponding directory contents):
    1.29 +
    1.30 +  ISABELLE_STACK_ROOT
    1.31 +  ISABELLE_STACK_RESOLVER
    1.32 +  ISABELLE_GHC_VERSION
    1.33 +
    1.34 +  ISABELLE_OPAM_ROOT
    1.35 +  ISABELLE_OCAML_VERSION
    1.36 +
    1.37 +After setup, the following Isabelle settings are automatically
    1.38 +redirected (overriding existing user settings):
    1.39 +
    1.40 + ISABELLE_GHC
    1.41 +
    1.42 + ISABELLE_OCAML
    1.43 + ISABELLE_OCAMLC
    1.44 +
    1.45 +The old meaning of these settings as locally installed executables may
    1.46 +be recovered by purging the directories ISABELLE_STACK_ROOT /
    1.47 +ISABELLE_OPAM_ROOT.
    1.48  
    1.49  * Update to Java 11: the latest long-term support version of OpenJDK.
    1.50