Kevin Kappelmann (Mar 17 2021 at 13:48): 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 :)
Josh Chen (Apr 06 2021 at 22:10):I thought you were talking about computer games ;)
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 22 2024 at 08:21 UTC