[isabelle] mailing list delay

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

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.