January 2024 Archives by thread

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

Starting: Tue Jan 9 11:13:52 CET 2024
Ending: Fri Jan 26 13:33:19 CET 2024
Messages: 4

• [isabelle-dev] Plan for Isabelle2024 release   Makarius
  • [isabelle-dev] Plan for Isabelle2024 release   Makarius
• [isabelle-dev] Update to OpenJDK 21.0.2   Makarius
• [isabelle-dev] [isabelle] Relaxing type class constraints on interval multiplication (HOL-Library.Interval)   Lawrence Paulson

Last message date: Fri Jan 26 13:33:19 CET 2024
Archived on: Fri Jan 26 13:33:36 CET 2024

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