March 2025 Archives by thread

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

Starting: Wed Mar 12 14:46:31 CET 2025
Ending: Thu Mar 20 17:37:00 CET 2025
Messages: 5

• Final Isabelle2025 planned for tomorrow   Makarius
  • Final Isabelle2025 planned for tomorrow   Makarius
  • Final Isabelle2025 planned for tomorrow   Makarius
• NEWS: SSH connections allow both bash and zsh   Makarius
• NEWS: ZGC of Java 21 now used by default   Makarius

Last message date: Thu Mar 20 17:37:00 CET 2025
Archived on: Thu Mar 20 17:37:19 CET 2025

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