May 2023 Archives by subject

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

Starting: Tue May 9 23:50:42 CEST 2023
Ending: Wed May 31 12:52:51 CEST 2023
Messages: 6

• [isabelle-dev] NEWS: significantly reduced ML heap usage   Makarius
• [isabelle-dev] NEWS: significantly reduced ML heap usage   Makarius
• [isabelle-dev] NEWS: significantly reduced ML heap usage   Lawrence Paulson
• [isabelle-dev] Proposal to add a new \<notapprox> symbol and corresponding glyph to the Isabelle font   Martin Desharnais
• [isabelle-dev] Proposal to add a new \<notapprox> symbol and corresponding glyph to the Isabelle font   Lawrence Paulson
• [isabelle-dev] Update to jdk-17.0.7   Makarius

Last message date: Wed May 31 12:52:51 CEST 2023
Archived on: Wed May 31 12:53:01 CEST 2023

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