| Tue, 09 Nov 2021 11:20:38 +0100 | wenzelm | proper java_version for isabelle_setup; | file | diff | annotate |
| Wed, 03 Nov 2021 00:11:12 +0100 | wenzelm | removed junk; | file | diff | annotate |
| Tue, 02 Nov 2021 14:05:02 +0100 | wenzelm | more robust "isabelle scala_project": Gradle has been replaced by Maven; | file | diff | annotate |