Email Gateway (Aug 22 2022 at 20:09): Email Gateway (Aug 22 2022 at 20:09):From: Lars Hupel <hupel@in.tum.de>
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
Last updated: Apr 26 2024 at 12:28 UTC