October 2026 Archives by date

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

Starting: Fri Oct 2 11:26:52 CEST 2026
Ending: Mon Oct 5 10:42:35 CEST 2026
Messages: 9

• Fork of the isabelle-dev vs. isabelle-release in approx. 24h   Makarius
• Alethe   Lawrence Paulson
• Fwd: Alethe   Makarius
• NEWS: update to mlton-20241230-2   Makarius
• Alethe   Makarius
• Fork of isabelle-dev vs. isabelle-release   Makarius
• NEWS: update to mlton-20241230-2   Makarius
• Fork of isabelle-dev vs. isabelle-release   Gerwin Klein
• Alethe   Jasmin Blanchette

Last message date: Mon Oct 5 10:42:35 CEST 2026
Archived on: Mon Oct 5 10:42:53 CEST 2026

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