Stream: General

Topic: new streams

Notification Bot (Oct 11 2019 at 09:41):

Anthony Bordg created a new stream #Lie.

Notification Bot (Oct 14 2019 at 10:25):

Josh Chen created a new stream #Isabelle/ML.

Notification Bot (Nov 12 2019 at 16:41):

Anthony Bordg created a new stream #announcements.

Notification Bot (May 12 2020 at 10:52):

Kevin Kappelmann created a new stream #Beginner Questions.

Notification Bot (Jul 01 2020 at 07:34):

Simon Wimmer created a new stream #Proof Ground.

Notification Bot (Jul 13 2020 at 21:03):

Kevin Kappelmann created a new stream #Mirror: Isabelle Users Mailing List.

Notification Bot (Jul 13 2020 at 21:27):

Kevin Kappelmann created a new stream #Mirror: Isabelle Development Mailing List.

Kevin Kappelmann (Jul 13 2020 at 21:36):

I created those 2 new streams that will mirror the e-mails send to the Isabelle users and development mailing list. Feel free to subscribe to them to have all isabelle information in one place.

Note that replying to one of these e-mails from zulip will not notify the mailing list. You will have to reply to the mailing list manually. Of course, you can still first discuss the e-mail here and come up with an answer collectively if you feel like it!

Thanks @Lukas Stevens for this idea :)

Notification Bot (Apr 15 2021 at 17:32):

Anthony Bordg created a new stream #Is there code for X?.

Notification Bot (Apr 19 2021 at 11:25):

Angeliki Koutsoukou Argyraki created a new stream #SErAPIS.

Last updated: Dec 21 2024 at 12:33 UTC