April 2022 Archives by subject

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

Starting: Mon Apr 4 10:53:17 CEST 2022
Ending: Wed Apr 20 13:45:27 CEST 2022
Messages: 3

• [isabelle-dev] Isabelle/VSCode bootstrap issue: "SML lexical error: bad input..."   Kevin Kappelmann
• [isabelle-dev] Moving towards Scala 3   Makarius
• [isabelle-dev] Moving towards Scala 3   Florian Haftmann

Last message date: Wed Apr 20 13:45:27 CEST 2022
Archived on: Wed Apr 20 13:45:30 CEST 2022

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