[isabelle-dev] A proposal for the website
kevin.kappelmann at tum.de
Tue Nov 3 00:12:49 CET 2020
1. Zulip can be self-hosted  (*)
2. One can create backups and export all data 
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
, the same search bar, in theory, should also be available on 
(both use Pipermail), and one can use a search engine with site filters,
e.g. google for "induction
5. I think the Isabelle Quick Access Links website  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.
(*) though I personally would not do that given that it incurs overhead,
costs, and I only had very great experiences with the Zulip community so
far (prompt bug fixes and support replies)
On 02.11.20 23:20, Makarius wrote:
> On 02/11/2020 21:15, Tobias Nipkow wrote:
>> There are two issues here:
>> - Should we advertise the active zoolip chat? Of course we should, everything
>> else is simply ineffective censorship.
> I do need more research about what Zulip Chat really is. Right now I suspect
> we can afford a link to it on the Isabelle website, but I will probably not
> join that walled site.
>> The isabelle wiki could be unlinked at the same time.
> Great. It was never really active anyway.
>> - Should we try other alternatives? That's up to whoever wants to try them. In
>> the end the community will vote one way or the other, with their feet.
> We do have some influence on the main and official Isabelle channels:
> isabelle-users and isabelle-dev.
> The research so far suggests that Discourse can indeed operate as successor of
> As a start, I will try to make a read-only (searchable) archive of our mailing
> lists with it, to be linked on the Isabelle website. Later on, we can figure
> out if moving the actual mailing lists is feasible.
> (I am curious to see if we can make moves that are not just gravitational
> effects of huge black holes on the Internet. Freedom and independence has
> become a scarce resource.)
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev