tuned;
authorwenzelm
Wed Oct 17 22:10:45 2018 +0200 (13 months ago ago)
changeset 6915512ff5e476752
parent 69154 9d70340b565c
child 69156 e8ef77b7e1a0
tuned;
NEWS
     1.1 --- a/NEWS	Wed Oct 17 22:00:02 2018 +0200
     1.2 +++ b/NEWS	Wed Oct 17 22:10:45 2018 +0200
     1.3 @@ -92,7 +92,7 @@
     1.4  * Support for OCaml via command-line tools "isabelle ocaml_setup",
     1.5  "isabelle ocaml", "isabelle ocamlc", "isabelle ocaml_opam". Existing
     1.6  settings variables ISABELLE_OCAML and ISABELLE_OCAMLC are maintained
     1.7 -dynamically according the state of ISABELLE_OPAM_ROOT concerning
     1.8 +dynamically according the state of ISABELLE_OPAM_ROOT and
     1.9  ISABELLE_OCAML_VERSION.
    1.10  
    1.11  * Support for Glasgow Haskell Compiler via command-line tools "isabelle