[isabelle-dev] NEWS

[Florian Haftmann]

* Code generation for OCaml: proper strings are used for literals.
Minor INCOMPATIBILITY.

* Code generation for OCaml: Zarith superseedes Nums as library for
integer arithmetic.  Use the following incantation to obtain a suitable
component setup:

  isabelle ocaml_setup
  isabelle ocaml_opam install zarith

Minor INCOMPATIBILITY.

This refers to 4343c1bfa52d and is part of ongoing effors to modernize
the technical code generation infrastructure.

	Florian

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20190313/ebcf5738/attachment.asc>