Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] The link to the User Mailinglist Archive is se...

view this post on Zulip Email Gateway (Feb 01 2023 at 18:56):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
A possible target seems to be
https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users

Cheers,
Florian
OpenPGP_0xA707172232CFA4E9.asc
OpenPGP_signature

view this post on Zulip Email Gateway (Feb 02 2023 at 14:50):

From: Pedro Sánchez Terraf <sterraf@famaf.unc.edu.ar>
By the way, there is a link to StackOverflow; perhaps now it would be
appropriate to add/replace with a corresponding link to
https://proofassistants.stackexchange.com/

Best wishes,

view this post on Zulip Email Gateway (Feb 07 2023 at 13:04):

From: Makarius <makarius@sketis.net>

Pedro Sánchez Terraf
CIEM-FAMAF — Universidad Nacional de Córdoba
cs.famaf.unc.edu.ar/~pedro <https://cs.famaf.unc.edu.ar/~pedro>

On 1/2/23 15:52, Florian Haftmann wrote:

A possible target seems to be
https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users

I have made some updates, both for the mailing list and Stack Exchange. Right
now it is on https://isabelle.in.tum.de --- the other mirrors may require more
time.

Makarius

Last updated: Jan 04 2025 at 20:18 UTC