[isabelle-dev] OCaml 4.06.0 drops nums.cma

Makarius makarius at sketis.net
Sun Jun 24 22:29:04 CEST 2018


On 07/06/18 15:22, Lars Hupel wrote:
>> Does this minimal approach make any sense, and solve the imminent
>> administrative problems? In particular without a decision yet about
>> ISABELLE_OCAML_VERSION vs. ISABELLE_OCAML / ISABELLE_OCAMLC?
> 
> I tend to agree. Let's fix OCaml to 4.05.0 and we can figure out a good
> way to upgrade after the release.

(This thread is still open.)

I presently tend to postpone the question if/how to support OCaml after
the Isabelle2018.


	Makarius




More information about the isabelle-dev mailing list