[isabelle-dev] OCaml 4.06.0 drops nums.cma

Lars Hupel hupel at in.tum.de
Thu Mar 14 16:25:34 CET 2019

> Where "automatic" means that a single Isabelle administrator (e.g. the
> local user) decides to invoke "isabelle ocaml_setup" and do other
> Isabelle administration in parallel. Afterwards the ISABELLE_OCAML
> settings will be correctly provided by the etc/settings scripts, without
> any further automatisms that can fail in strange ways.

OK. This is running now in testboard:

The corresponding changeset is

More information about the isabelle-dev mailing list