[isabelle-dev] Jenkins downtime

Lars Hupel hupel at in.tum.de
Mon May 23 17:43:29 CEST 2016

> I will send another update on Monday when the upgrades went through.

The upgrades should be done now. In case you get any suspicious mails,
please forward them to me.


More information about the isabelle-dev mailing list