NEWS
changeset 69911 036037573080
parent 69906 55534affe445
child 69914 72301e1457b9
     1.1 --- a/NEWS	Thu Mar 14 13:54:31 2019 +0000
     1.2 +++ b/NEWS	Thu Mar 14 19:06:40 2019 +0100
     1.3 @@ -124,13 +124,11 @@
     1.4  Minor INCOMPATIBILITY.
     1.5  
     1.6  * Code generation for OCaml: Zarith superseedes Nums as library for
     1.7 -integer arithmetic.  Use the following incantation to obtain a suitable
     1.8 -component setup:
     1.9 +integer arithmetic.  It is included in the default setup after
    1.10  
    1.11    isabelle ocaml_setup
    1.12 -  isabelle ocaml_opam install zarith
    1.13 -
    1.14 -Minor INCOMPATIBILITY
    1.15 +
    1.16 +Minor INCOMPATIBILITY.
    1.17  
    1.18  * Code generation for Haskell: code includes for Haskell must contain
    1.19  proper module frame, nothing is added magically any longer.