Email Gateway (Aug 22 2022 at 17:53): Email Gateway (Aug 22 2022 at 17:53):From: Gerwin.Klein@data61.csiro.au
As Makarius announced yesterday, the release fork for Isabelle2018 has happened now.
The release fork for AFP-2018 will be on Tuesday midday (CET). Please push any changes you have to your entries for the AFP-2018 release by then.
Further changes after the release fork will go into the next release unless there is a specific reason to do otherwise. Please email me directly for such cases.
Any changes have to work with the Isabelle repository at https://isabelle.sketis.net/repos/isabelle-release (currently at revision 89e05bd572c)
Cheers,
Gerwin
Last updated: Nov 21 2024 at 12:39 UTC