Katherine Kosaian (Feb 26 2025 at 18:13): Katherine Kosaian (Feb 26 2025 at 18:13):As subject, is there a date planned for the Isabelle 2025 AFP fork?
Mathias Fleury (Feb 26 2025 at 18:32):https://foss.heptapod.net/isa-afp/afp-2025
Mathias Fleury (Feb 26 2025 at 18:32):already done, as announced on the mailing list
Katherine Kosaian (Feb 26 2025 at 20:00):Just to make sure that I'm understanding correctly, does that mean updates are no longer allowed for the 2025 AFP?
Mathias Fleury (Feb 26 2025 at 20:11):hmmmmm no?
Mathias Fleury (Feb 26 2025 at 20:12):New submissions got the 2025 AFP fork
Mathias Fleury (Feb 26 2025 at 20:12):But kind of, if you are working on your entries, this should be done on afp-devel
Katherine Kosaian (Feb 26 2025 at 20:31):ah yeah I meant whether the deadline has been passed for making updates to existing entries to be migrated into the 2025 AFP.
Mathias Fleury (Feb 26 2025 at 20:36):As far as I know, the AFP version is mostly frozen and work should happen on the devel version, but an AFP editor like @Manuel Eberl should confirm
Manuel Eberl (Feb 27 2025 at 13:43):Yes. Metadata can be changed in the release version as well, but that's it. Any changes to Isabelle theories can only happen in afp-devel, and they only appear in the release version when a new release happens. For AFP-2025, the fork point has already passed, so changes made to devel now will probably not make it to AFP-2025.
But if it's really important you ought to be able to convince Gerwin to still add a patch so that your changes will appear in AFP-2025 as well. Just contact him if that is the case.
Last updated: Feb 28 2025 at 08:24 UTC