| Mon, 28 Nov 2022 11:38:55 +0000 | paulson | A new Isabelle/CTT example, and eliminated some old-style quotation marks | changeset | files |
| Fri, 25 Nov 2022 22:38:10 +0100 | wenzelm | clarified exception: avoid odd compiler warning; | changeset | files |
| Fri, 25 Nov 2022 21:58:40 +0100 | wenzelm | update to scala-3.2.1; | changeset | files |
| Fri, 25 Nov 2022 20:45:52 +0100 | wenzelm | recovered check from 69139cc01ba1: Windows does not support PosixFilePermission; | changeset | files |