[isabelle-dev] Towards the release

Jasmin Blanchette jasmin.blanchette at inria.fr
Tue Oct 25 14:29:17 CEST 2016

Hi Makarius,

> The Windows platform is a bit strange, but there are usually many ways
> to get things through eventually.

Simon has found a way to avoid "ocamlbuild". It looks like we'll be able to have the three binaries in place before the branch. Nonetheless, Nunchaku will remain labeled as "experimental", for a variety of reasons, and will not be properly documented. This will come with the (expected) Isabelle2017 release.



More information about the isabelle-dev mailing list