NEWS
changeset 69135 be20f5f6feb9
parent 69099 d44cb8a3e5e0
child 69151 b310bc57f55f
     1.1 --- a/NEWS	Mon Oct 08 12:52:28 2018 +0200
     1.2 +++ b/NEWS	Mon Oct 08 15:42:43 2018 +0200
     1.3 @@ -25,7 +25,6 @@
     1.4  (legacy feature since Isabelle2016).
     1.5  
     1.6  
     1.7 -
     1.8  *** HOL ***
     1.9  
    1.10  * Simplified syntax setup for big operators under image. In rare
    1.11 @@ -90,6 +89,12 @@
    1.12  presence of structurally broken sources: full consolidation of theories
    1.13  is no longer required.
    1.14  
    1.15 +* Support for OCaml via command-line tools "isabelle ocaml_setup",
    1.16 +"isabelle ocaml", "isabelle ocamlc", "isabelle ocaml_opam". Existing
    1.17 +settings variables ISABELLE_OCAML and ISABELLE_OCAMLC are maintained
    1.18 +dynamically according the state of ISABELLE_OPAM_ROOT concerning
    1.19 +ISABELLE_OCAML_VERSION.
    1.20 +
    1.21  
    1.22  
    1.23  New in Isabelle2018 (August 2018)