| Wed, 30 Jun 2021 13:46:51 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 30 Jun 2021 13:25:35 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Wed, 30 Jun 2021 12:46:49 +0200 | wenzelm | tuned: prefer Java interfaces; | file | diff | annotate |
| Wed, 30 Jun 2021 12:15:20 +0200 | wenzelm | tuned: prefer Java interfaces; | file | diff | annotate |
| Wed, 30 Jun 2021 11:35:07 +0200 | wenzelm | clarified signature: prefer Java interfaces; | file | diff | annotate |
| Mon, 28 Jun 2021 20:52:31 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 28 Jun 2021 20:02:32 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 28 Jun 2021 14:43:33 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 28 Jun 2021 14:11:53 +0200 | wenzelm | clarified modules (again): services require full Isabelle/Scala environment; | file | diff | annotate |
| Mon, 28 Jun 2021 13:45:46 +0200 | wenzelm | clarified modules; | file | diff | annotate |