On 13/02/2021 09:43, Florian Haftmann wrote: > 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.
I have removed the link from the website (for the coming release): https://isabelle-dev.sketis.net/rWEBSITE893070cc27cd The link stems from old times when we were more friendly towards "outsourcing" of services; there even used to be a Google group mirror of isabelle-users. Rather soon, I will see how to turn our isabelle-users + isabelle-dev Mailman archives into a read-only version of Discourse (self-hosted). This belongs to my overall strategy to learn how to "stand on your own feet" in virtual space, eventually learning how to walk again. Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
