Tue, 30 May 2023 12:33:06 +0100 | paulson | New HOL Light material on metric spaces and topological spaces | changeset | files |
Wed, 31 May 2023 11:14:15 +0200 | wenzelm | enable scala-3.3.0, with forced rebuild of Isabelle/Scala and Isabelle/ML; | changeset | files |
Wed, 31 May 2023 11:13:22 +0200 | wenzelm | provide scala-3.3.0; | changeset | files |