| Wed, 17 Aug 2022 11:28:10 +0200 | wenzelm | proper Java/Scala compiler classpath (amending b42e20adaeed): ISABELLE_SETUP_CLASSPATH must not be included prematurely (breaks on Windows), instead use runtime Classpath().jars; | file | diff | annotate |
| Fri, 22 Jul 2022 15:28:56 +0200 | wenzelm | removed obsolete commands; | file | diff | annotate |
| Tue, 12 Jul 2022 14:40:41 +0200 | wenzelm | clarified names; | file | diff | annotate |