[isabelle-dev] lxisabelle/lxcisa* maintenance

Lars Hupel hupel at in.tum.de
Mon Feb 12 10:10:42 CET 2018

Previous message (by thread): [isabelle-dev] lxisabelle/lxcisa* maintenance
Next message (by thread): [isabelle-dev] lxisabelle/lxcisa* maintenance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> - Jenkins
> - (shell access to) lxcisa0

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

Cheers
Lars

Previous message (by thread): [isabelle-dev] lxisabelle/lxcisa* maintenance
Next message (by thread): [isabelle-dev] lxisabelle/lxcisa* maintenance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list