[isabelle-dev] Jenkins maintenance

Lars Hupel hupel at in.tum.de
Tue Apr 4 12:34:27 CEST 2017

Previous message (by thread): [isabelle-dev] Changed theory merge behaviour
Next message (by thread): [isabelle-dev] PLATFORMS: Mac OS X
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear Isabelle developers,

Jenkins will be unavailable tomorrow, April 5, from about 10:00 CEST to
12:00 CEST while our provider performs storage upgrades.

Cheers
Lars

Previous message (by thread): [isabelle-dev] Changed theory merge behaviour
Next message (by thread): [isabelle-dev] PLATFORMS: Mac OS X
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list