[isabelle-dev] Towards the release

Gerwin.Klein at data61.csiro.au Gerwin.Klein at data61.csiro.au
Wed Oct 26 00:05:17 CEST 2016

I’m planning to switch over to Sierra this week, and can hopefully report back next week on any issues with our l4v proofs, AFP, and isabelle itself.

Do we know who is administering macbroy30 and macbroy2? It think it would make sense to switch them over to 10.11 and 10.12 (if the hardware is still supported).


> On 26.10.2016, at 04:39, Makarius <makarius at sketis.net> wrote:
> On 25/10/16 14:29, Jasmin Blanchette wrote:
>>> 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.
> Great.
> Note that the updated Isabelle PLATFORMS file is here:
> http://isabelle.in.tum.de/repos/isabelle/file/3f4a86c9d2b5/Admin/PLATFORMS#l25
> I have bumped the Linux baseline to Ubuntu 12.04 recently. Cygwin is
> also updated to 2.6 -- last time I somehow missed the change of the
> numbering scheme, so we were lagging behind.
> 	Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list