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. Cheers, Jasmin _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
