[isabelle-dev] A proposal for the website

Tue Nov 3 21:14:53 CET 2020

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
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
> 