| Fri, 27 Jan 2023 15:43:45 +0100 | wenzelm | prefer strict operation: java.io.File.length returns 0 for non-existent file; | changeset | files |
| Fri, 27 Jan 2023 15:33:21 +0100 | wenzelm | prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition; | changeset | files |
| Fri, 27 Jan 2023 15:22:26 +0100 | wenzelm | back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()"); | changeset | files |