Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Missing AFP entries after April 27


view this post on Zulip Email Gateway (Aug 23 2022 at 09:09):

From: "Dr A. Koutsoukou-Argyraki" <ak2110@cam.ac.uk>
Looks like all the entries between April 27 and now are suddenly missing
from the current main AFP page
https://www.isa-afp.org/
(there were several entries in early May)
including the Formalization of Forcing in Isabelle/ZF by Gunther et al,
several entries by Manuel Eberl
and the entry by Wenda and me from a couple of days ago.

Best,
Angeliki

view this post on Zulip Email Gateway (Aug 23 2022 at 09:09):

From: Tobias Nipkow <nipkow@in.tum.de>
Thanks for the notification. We are back to normal.

Tobias
smime.p7s


Last updated: Mar 29 2024 at 08:18 UTC