Stream: Coq devs & plugin devs

Topic: stream events


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

Théo Zimmermann renamed stream coq to Coq and plugin development.

view this post on Zulip Théo Zimmermann (May 07 2020 at 09:17):

I've renamed this channel to better reflect its more common use case (from the Gitter times) and I was thinking about creating a new "Beginners" or "New members" stream (to highlight that basic questions are welcome). But this can probably wait a bit, especially given that anyone can create a new stream, not just admins.

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

Théo Zimmermann renamed stream Coq and plugin development to Coq devs & plugin devs.


Last updated: Oct 21 2021 at 21:03 UTC