On 12/11/2021 21:30, Makarius wrote:
> I have sent two messages today that are present on the archive
> https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/2021-November/date.html#start
> 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.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
