[isabelle-dev] System migration

Lars Hupel hupel at in.tum.de
Tue Oct 9 13:39:53 CEST 2018

Dear Isabelle developers and users,

we will perform a large-scala system migration over the next 24–48
hours. The purpose is to move towards the latest Ubuntu 18.04 LTS.

Affected will be continuous integration, the AFP, and the AFP submission

Expect intermittent unavailability and HTTPS errors.

I will update as soon as the migration is completed.


More information about the isabelle-dev mailing list