See also http://isabelle.in.tum.de/repos/isabelle/file/2803d2b8f85d/Admin/PLATFORMS#l33
Former Ubuntu 10.04 LTS has become a bit old, and is no longer maintained by Canonical. 12.04 remains officially active until 04/2017. The Mac OS X baseline is still 10.8 (Mountain Lion), which is also from 2012. Lets see if we can keep this window into the past open, despite the very few Apple testing machines in the background. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev