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

Reply via email to