| Wed, 07 Jul 2021 14:32:43 +0200 | wenzelm | invoke Scala compiler from Java, without external process; | file | diff | annotate |
| Thu, 01 Jul 2021 23:27:43 +0200 | wenzelm | support for Isabelle/Scala in pure Java; | file | diff | annotate |
| Thu, 01 Jul 2021 14:06:20 +0200 | wenzelm | clarified directories; | file | diff | annotate |
| Wed, 30 Jun 2021 20:57:38 +0200 | wenzelm | support for Isabelle setup in pure Java; | file | diff | annotate |