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: May 21 2025 at 16:27 UTC