Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [isabelle-dev] afp-2019 fork on Fri

Email Gateway (Aug 22 2022 at 19:51):

From: Lars Hupel <hupel@in.tum.de>
Accordingly I have shut down the submission system. New submissions
should be prepared with the upcoming 2019 release. The system will come
back up some time next week, presumably using RC2.

Last updated: Jan 07 2026 at 01:55 UTC