As of Isabelle/f3763989d589 the Isabelle2018-RC3 release branch is back on isabelle-dev. This simplifies further development and testing.
In particular, there should be fewer errors on https://isabelle.sketis.net/devel/build_status Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
