[isabelle] Infrastructure upgrade: AFP submission service



Dear (prospective) AFP authors,

I have installed a new version of the AFP submission service. This bundles three updates:

– Isabelle2019-RC2 to 2019
– Ubuntu 16.04 LTS to 18.04 LTS
– new LRZ Compute Cloud

For that reason, this update may be a little less smooth than usual (and consequently warrants this email). Please report if you have any troubles.

Cheers
Lars




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.