Yong Kiam (Feb 21 2024 at 01:33): Yong Kiam (Feb 21 2024 at 01:33):Hi, this is more of a comment rather than a question.
I recently had to update my AFP version and I noticed there seems to be a lack of instruction for doing an update rather than a clean install, e.g.:
I initially just did components -u again and it breaks things (duplicate chapter AFP)
The solution was to manually edit ~/.isabelle/Isabelle2023/etc/components but I'm wondering if there is some other instruction that I'm missing here?
Mathias Fleury (Feb 21 2024 at 06:30):The general idea is that you update »in place« (either by re-downloading or by doing an hg pull -u on the AFP repo) in which case you do not have to do anything
Yong Kiam (Feb 21 2024 at 06:41):ah that makes sense, I'd been keeping it with the date of the folder around (afp-2024-02-20) so that I know when I need to update (admittedly not a very scientific way of managing it)
Mathias Fleury (Feb 21 2024 at 06:50):That is a very valid way to manage, but I prefer cloning https://foss.heptapod.net/isa-afp/afp-2023 (I put everything thing in repos on my machines anyway)
Last updated: Apr 28 2024 at 12:28 UTC