| Wed, 12 Feb 2025 00:40:57 +0100 | wenzelm | removed unused imports; | file | diff | annotate |
| Sun, 24 Mar 2024 19:14:56 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| 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 |