Zixuan Fan (May 06 2024 at 06:59): Zixuan Fan (May 06 2024 at 06:59):Hi, I tried to get connected to the AFP, but got a time out. I wonder if it is experiencing some maintenance, and when it will be available again.
Mathias Fleury (May 06 2024 at 08:47):Yeah seems that https://www.isa-afp.org is down
David Wang (May 06 2024 at 17:06):You can download it directly from here: https://foss.heptapod.net/isa-afp/afp-2023/-/tree/branch/default/thys. You have to delete the thys/etc before adding the component
Mathias Fleury (May 06 2024 at 17:36):Actually I usually find it easier to hg clone the stable version, as updating the version is completely obvious (hg up)
Last updated: Dec 21 2024 at 12:33 UTC