[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.