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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to