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). Cheers, Gerwin > On 26.10.2016, at 04:39, Makarius <makar...@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-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
