Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] mailing list delay

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: Apr 26 2026 at 09:04 UTC