* 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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
