Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] fork for afp 2021-1


view this post on Zulip Email Gateway (Nov 14 2021 at 00:57):

From: Gerwin Klein <kleing@unsw.edu.au>
As you will have seen Isabelle2021-RC3 is out and the isabelle repository fork for the release has happened.

For the AFP, we will do the same kind of fork on 9am Tue GMT.

If you have any changes to your AFP entry that should make it into the 2021-1 release, please push those until then. Changes after that will remain in afp-devel and go in the release after that.

Cheers,
Gerwin


Last updated: Mar 28 2024 at 20:16 UTC