[isabelle-dev] New mailing list: isabelle-ci
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