Stream: VsCoq devs & users

Topic: stream events


view this post on Zulip Notification Bot (May 07 2020 at 09:06):

Théo Zimmermann renamed stream vscoq to VsCoq.

view this post on Zulip Notification Bot (May 08 2020 at 11:16):

Théo Zimmermann renamed stream VsCoq to VsCoq devs & users.

view this post on Zulip Notification Bot (Aug 25 2022 at 11:29):

Théo Zimmermann changed the access permissions for this stream from Public to Web-public.


Last updated: Jan 30 2023 at 18:04 UTC