| Mon, 17 Aug 2020 13:16:42 +0200 | wenzelm | more systematic support for special directories; | file | diff | annotate |
| Wed, 08 Apr 2020 14:25:28 +0200 | wenzelm | another isabelle_scala_service; | file | diff | annotate |
| Wed, 08 Apr 2020 13:14:05 +0200 | wenzelm | more general support for isabelle_scala_service; | file | diff | annotate |