| Fri, 01 Apr 2022 23:19:12 +0200 | wenzelm | tuned formatting; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Thu, 17 Feb 2022 12:22:47 +0100 | wenzelm | more robust package_dir, to increase chances that it works with IntelliJ IDEA; | file | diff | annotate |
| Tue, 21 Dec 2021 19:31:30 +0100 | wenzelm | support Gradle as alternative to Maven (again); | file | diff | annotate |
| Mon, 22 Nov 2021 23:08:57 +0100 | wenzelm | more robust support for Windows line-endings; | file | diff | annotate |
| 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 |