| Sun, 11 Jul 2021 16:57:30 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Fri, 09 Jul 2021 14:41:22 +0200 | wenzelm | clarified javac options; | file | diff | annotate |
| Thu, 08 Jul 2021 13:16:31 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| 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 |