[isabelle-dev] Potential problems isabelle-dev mailing list server
makarius at sketis.net
Sat Nov 13 12:42:43 CET 2021
On 12/11/2021 21:30, Makarius wrote:
> I have sent two messages today that are present on the archive
> but I did not get them back via mail.
> Did anybody experience similar problems? (If yes, it might be impossible to
> see this and/or answer this.)
Mails are coming now. So it looks like the problems have disappeared.
More information about the isabelle-dev