Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP website: past versions of entries are ...


view this post on Zulip Email Gateway (Jul 11 2022 at 22:24):

From: Angeliki Koutsoukou Argyraki <ak2110@cam.ac.uk>
I don't seem to be able to find "past versions" of the AFP entries with the new design- these were available before with the old design and they were very useful to have as one could retrace changes made and updates etc. It looks like all the history of the entries is now missing?
Where can these be found?

Thank you, Angeliki

Hide message history
S

view this post on Zulip Email Gateway (Jul 13 2022 at 08:49):

From: Angeliki Koutsoukou Argyraki <ak2110@cam.ac.uk>
PS. To be more specific about my question below: I can see of course that it's possible to download older stable versions of the entire Archive from the "Download" page, but I was wondering about the possibility to see the history of each individual entry from each entry page as in the previous format-
is there an option available?

Thank you very much again!

Best wishes, Angeliki

view this post on Zulip Email Gateway (Jul 13 2022 at 08:49):

From: Fabian Huch <huch@in.tum.de>
No worries, they are there again and will be visible in the next publish.

Fabian

view this post on Zulip Email Gateway (Jul 13 2022 at 09:16):

From: Manuel Eberl <manuel@pruvisto.org>
I think I for one would recommend looking at the Mercurial history
instead anyway. There you can see exactly who changed what and when.

Manuel


Last updated: Mar 28 2024 at 20:16 UTC