NEWS
changeset 69926 110fff287217
parent 69914 72301e1457b9
child 69960 eff4ff8ba515
     1.1 --- a/NEWS	Wed Mar 20 16:55:21 2019 +0100
     1.2 +++ b/NEWS	Wed Mar 20 20:15:30 2019 +0100
     1.3 @@ -127,12 +127,11 @@
     1.4  * Code generation for OCaml: proper strings are used for literals.
     1.5  Minor INCOMPATIBILITY.
     1.6  
     1.7 -* Code generation for OCaml: Zarith superseedes Nums as library for
     1.8 -integer arithmetic.  It is included in the default setup after
     1.9 -
    1.10 -  isabelle ocaml_setup
    1.11 -
    1.12 -Minor INCOMPATIBILITY.
    1.13 +* Code generation for OCaml: Zarith supersedes Nums as library for
    1.14 +proper integer arithmetic. The library is located via standard
    1.15 +invocations of "ocamlfind" (via ISABELLE_OCAMLFIND settings variable).
    1.16 +The environment provided by "isabelle ocaml_setup" already contains this
    1.17 +tool and the required packages. Minor INCOMPATIBILITY.
    1.18  
    1.19  * Code generation for Haskell: code includes for Haskell must contain
    1.20  proper module frame, nothing is added magically any longer.
    1.21 @@ -284,6 +283,11 @@
    1.22  presence of structurally broken sources: full consolidation of theories
    1.23  is no longer required.
    1.24  
    1.25 +* OCaml tools and libraries are now accesed via ISABELLE_OCAMLFIND,
    1.26 +which needs to point to a suitable version of "ocamlfind" (e.g. via
    1.27 +OPAM, see below). INCOMPATIBILITY: settings variables ISABELLE_OCAML and
    1.28 +ISABELLE_OCAMLC are no longer supported.
    1.29 +
    1.30  * Support for managed installations of Glasgow Haskell Compiler and
    1.31  OCaml via the following command-line tools:
    1.32  
    1.33 @@ -308,12 +312,12 @@
    1.34  
    1.35    ISABELLE_GHC
    1.36  
    1.37 -  ISABELLE_OCAML
    1.38 -  ISABELLE_OCAMLC
    1.39 +  ISABELLE_OCAMLFIND
    1.40  
    1.41  The old meaning of these settings as locally installed executables may
    1.42  be recovered by purging the directories ISABELLE_STACK_ROOT /
    1.43 -ISABELLE_OPAM_ROOT.
    1.44 +ISABELLE_OPAM_ROOT, or by resetting these variables in
    1.45 +$ISABELLE_HOME_USER/etc/settings.
    1.46  
    1.47  * Update to Java 11: the latest long-term support version of OpenJDK.
    1.48