Stream: Announcements

Topic: Stream Subscriptions

view this post on Zulip Kevin Kappelmann (Mar 17 2021 at 13:48):

Hi all, if you haven't realised yet: there are more streams than the default ones you are subscribed to.
Click on Add streams below the list of streams on the left
In particular, there's a New Members & Projects stream. Feel free to introduce yourself or your new projects there!
And if you supervise students new to Isabelle, encourage them to also introduce themselves there :)

view this post on Zulip Josh Chen (Apr 06 2021 at 22:10):

I thought you were talking about computer games ;)

view this post on Zulip Kevin Kappelmann (Apr 07 2021 at 10:44):

Haha, it took me a while to get your joke. Changed Steam -> Stream. No free Steam vouchers today I am afraid ;)

Last updated: Dec 05 2021 at 23:19 UTC