Email Gateway (Sep 01 2022 at 08:43): Email Gateway (Sep 01 2022 at 08:43):From: Lukas Stevens <lukas.stevens+isabelle-users@in.tum.de>
Hi together,
the usability of the mailing list archive has degraded because it was
migrated to Sympa. To help in this matter, I have mirrored the archive
of the Isabelle users mailing list to a Zulip stream [1] which is
web-public so it can be searched without having an account. The archive
contains the history from 2005 up until July 2020. Since August 2020,
the mailing list has been mirrored to another stream [2]. This was
possible thanks to Larry who provided me with a dump of the mailing list.
Cheers,
Lukas
[1]
https://isabelle.zulipchat.com/#narrow/stream/336180-Archive-Mirror.3A-Isabelle-Users-Mailing-List
[2]
https://isabelle.zulipchat.com/#narrow/stream/247541-Mirror.3A-Isabelle-Users-Mailing-List
Last updated: Apr 28 2024 at 20:16 UTC