[isabelle-dev] Jenkins maintenance

Manuel Eberl eberlm at in.tum.de
Mon Oct 3 22:44:39 CEST 2016


This, too, is an industry standard. Of course, I am not the expert, but
I'm pretty sure this is achievable with the system we have – if there is
a consensus that this is what we want, that is.

Manuel



More information about the isabelle-dev mailing list