[isabelle-dev] lxisabelle/lxcisa* maintenance

Lars Hupel hupel at in.tum.de
Tue Feb 13 10:19:04 CET 2018


> Jenkins is back online. For technical reasons, lxcisa0 will only become
> available again tomorrow.

All services operational again.



More information about the isabelle-dev mailing list