Stream: Archive Mirror: Isabelle Users Mailing List

Topic: stream events

Notification Bot (Aug 17 2022 at 13:25):

Private, shared history stream created by Lukas Stevens. Description:

No description.

Notification Bot (Aug 24 2022 at 08:03):

Lukas Stevens changed the access permissions for this stream from Private, shared history to Web-public.

Notification Bot (Aug 24 2022 at 08:04):

Kevin Kappelmann changed the posting permissions for this stream:

• Old permissions: All stream members can post.
• New permissions: Only organization administrators can post.

Notification Bot (Aug 24 2022 at 08:05):

Lukas Stevens changed the description for this stream.

• Old description:

No description.

• New description:

A mirror of the Isabelle users mailing list up to 2020-08.

Kevin Kappelmann (Aug 24 2022 at 08:06):

Messages newer than 2020-08 can be found in the #Mirror: Isabelle Users Mailing List stream.

Last updated: Nov 21 2024 at 12:39 UTC