August 2022 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Wed Aug 17 09:37:32 CEST 2022
Ending: Wed Aug 17 09:37:32 CEST 2022
Messages: 1

• [Club2] Einladung: "Development of a Distributed Build Platform for Isabelle" - Mi 7. Sep. 2022 14:00 - 14:20 (MESZ) (club2 at in.tum.de)   piller at in.tum.de

Last message date: Wed Aug 17 09:37:32 CEST 2022
Archived on: Wed Aug 17 09:37:50 CEST 2022

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...