[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.

Cheers
Lars



More information about the isabelle-dev mailing list