| 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 |
| Tue, 12 Jul 2022 14:40:41 +0200 | wenzelm | clarified names; | file | diff | annotate |
| Fri, 08 Jul 2022 22:30:35 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 08 Jul 2022 22:29:26 +0200 | wenzelm | support for Isabelle/Scala/Java modules in Isabelle/ML; | file | diff | annotate |
| Thu, 07 Jul 2022 16:40:33 +0200 | wenzelm | clarified signature; | file | diff | annotate |