Somehow the archive of this mailing list stopped working recently, e.g. see https://mailman46.in.tum.de/pipermail/isabelle-dev/2019-April/thread.html where I get less than 20 messages, mostly by myself.
Who is actually the administrator for the mailing list?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
