| Fri, 20 Jan 2023 16:30:09 +0100 | wenzelm | support Session argument for Scala.Fun; | file | diff | annotate |
| 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 |