| Wed, 30 Nov 2022 15:03:31 +0100 | wenzelm | clarified signature: prefer Scala functions instead of shell scripts; | changeset | files |
| 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 |
| Fri, 25 Nov 2022 20:39:25 +0100 | wenzelm | update to jdk-17.0.5 (Oct-2022); | changeset | files |
| Fri, 25 Nov 2022 20:18:10 +0100 | wenzelm | more standard component build process; | changeset | files |
| Fri, 25 Nov 2022 20:17:54 +0100 | wenzelm | proper treatment of tar.gz double-extension; | changeset | files |