Hi all, the mirror of the devel mailing list at https://www.mail-archive.com/[email protected]/ as linked from https://isabelle.in.tum.de/ has its newest thread from 2019.
Maybe this is a technical problem; if not, the isabelle site should
clearly indicate that it is a historic archive.
Cheers,
Florian
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
