Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] mailing list delay

view this post on Zulip Email Gateway (Aug 22 2022 at 12:52):

From: Lawrence Paulson <lp15@cam.ac.uk>
Apologies to all for the late delivery of many messages to the mailing list. The software is supposed to send me reminders when there are pending messages. This has stopped working for some reason.

Larry Paulson

Last updated: Jun 12 2025 at 16:27 UTC