Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [ExternalEmail] AFP release fork tomorrow

view this post on Zulip Email Gateway (Aug 22 2022 at 17:54):

From: Gerwin.Klein@data61.csiro.au
The afp-2018 fork has now happened and any new commits to the development version of the AFP will go into the release after Isabelle2018.

Cheers,
Gerwin

Last updated: Feb 15 2026 at 05:19 UTC