Re: [isabelle-dev] System migration

2018-10-10 Thread Lars Hupel
> I will update as soon as the migration is completed. Migration completed. ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

[isabelle-dev] System migration

2018-10-09 Thread Lars Hupel
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 service. Expect intermittent unavailability and