Dear Isabelle users & developers, as per the discussion on [isabelle-dev]* we created a new mailing list:
<https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci> Starting soon, the Jenkins build will post build failures of Isabelle and AFP (but not testboard!) to that list. It is not intended for discussions, though; as usual, [isabelle-dev] should be used for that. Everyone who has push access to the Isabelle repository should subscribe. Everyone who has push access to one of the AFP repositories is encouraged to subscribe. Cheers Lars * <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/2016-January/006636.html> _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
