NEWS
changeset 69906 55534affe445
parent 69903 63721ee8c86c
child 69911 036037573080
child 69913 ca515cf61651
     1.1 --- a/NEWS	Sun Mar 10 15:16:45 2019 +0000
     1.2 +++ b/NEWS	Sun Mar 10 15:16:45 2019 +0000
     1.3 @@ -123,6 +123,15 @@
     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.  Use the following incantation to obtain a suitable
     1.9 +component setup:
    1.10 +
    1.11 +  isabelle ocaml_setup
    1.12 +  isabelle ocaml_opam install zarith
    1.13 +
    1.14 +Minor INCOMPATIBILITY
    1.15 +
    1.16  * Code generation for Haskell: code includes for Haskell must contain
    1.17  proper module frame, nothing is added magically any longer.
    1.18  INCOMPATIBILITY.