We do use the same archive system (without any CSS styling) https://isabelle.systems/zulip-archive/
Kevin. On 03.11.20 21:07, Makarius wrote: > On 03/11/2020 20:57, Makarius wrote: >> >> I never see Zulip, though, and this explains my wording of "walled garden" or >> "walled site". >> >> BUT: the Lean community has this public archive generated from the hidden >> garden: https://leanprover-community.github.io/archive > > Here is a reference to that issue: > > https://leanprover-community.github.io/archive/stream/179818-Lean-Together-2019/topic/Zulip.html > > https://github.com/zulip/zulip/issues/4817 > > > Makarius > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
