Fri, 09 Jul 2021 21:03:58 +0200 | wenzelm | support expand_platform_path, which is reminiscent of isabelle.Path.expand; | file | diff | annotate |
Wed, 07 Jul 2021 14:32:43 +0200 | wenzelm | invoke Scala compiler from Java, without external process; | file | diff | annotate |
Fri, 02 Jul 2021 14:08:45 +0200 | wenzelm | create jar in pure Java; | file | diff | annotate |
Thu, 01 Jul 2021 23:26:06 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Thu, 01 Jul 2021 14:06:20 +0200 | wenzelm | clarified directories; | file | diff | annotate | base |