Stream: General

Topic: New AFP entry depending on modification of existing entry


view this post on Zulip Sage Binder (Jun 05 2025 at 19:52):

I have a development X that I would like to submit to the AFP. Development X depends on a modification of an existing AFP entry Y (I am one of the authors on Y). Eventually, we would like entry Y on the AFP to reflect the updated version. However, my understanding is that we cannot update existing entries until the new Isabelle release. In the meantime, we would like to submit entry X now. What is the preferred way of handling this situation?

If it helps, the existing entry Y is small and is not currently used by any other AFP entry.

view this post on Zulip Yosuke Ito (Jun 07 2025 at 02:31):

Maybe you should require the write access to AFP-devel.
https://devel.isa-afp.org/submission/

If you would like to get write access to your entry in the mercurial repository or if you need assistance, please contact the editors.


Last updated: Jun 08 2025 at 08:25 UTC