[isabelle-dev] lxisabelle/lxcisa* maintenance

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

Previous message (by thread): [isabelle-dev] lxisabelle/lxcisa* maintenance
Next message (by thread): [isabelle-dev] NEWS: Poly/ML with libgmp on all platforms
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

All services operational again.

Previous message (by thread): [isabelle-dev] lxisabelle/lxcisa* maintenance
Next message (by thread): [isabelle-dev] NEWS: Poly/ML with libgmp on all platforms
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list