One could even imagine retiring the mailing list. I wonder how Zulip avoid the scourge of cross-posting and irrelevant conference announcements? Larry
> On 2 Nov 2020, at 23:12, Kevin Kappelmann <[email protected]> wrote: > > 1. Zulip can be self-hosted [1] (*) > > 2. One can create backups and export all data [2] > > 3. One could import past mailing list threads into Zulip by simply > re-posting them in an e-mail-archive stream. By the way, we already > crosspost new mailing list messages to such streams [3, 4] > > 4. As for the searchable mailing list: there's already a search bar on > [5], the same search bar, in theory, should also be available on [6] > (both use Pipermail), and one can use a search engine with site filters, > e.g. google for "induction > site:https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/"; > > 5. I think the Isabelle Quick Access Links website [7] should be > referenced on the website too. It is really helpful to get an overview > and to get some ideas on how to get started. _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
