| Fri, 16 Jul 2021 13:18:54 +0200 | wenzelm | more direct isabelle_scala_build: always enabled, no "Admin" requirement; | file | diff | annotate |
| Thu, 15 Jul 2021 18:18:07 +0200 | wenzelm | more robust classpath: skip empty entries; | file | diff | annotate |
| Thu, 15 Jul 2021 17:33:06 +0200 | wenzelm | more robust: avoid duplicate classpath entries; | file | diff | annotate |