[isabelle-dev] New mailing list: isabelle-ci

Lars Hupel hupel at in.tum.de
Mon Feb 8 10:44:59 CET 2016

Dear Isabelle users & developers,

as per the discussion on [isabelle-dev]* we created a new mailing list:


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.



More information about the isabelle-dev mailing list