[isabelle] fork for afp 2021-1



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





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