| 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 |
| Wed, 05 Dec 2018 23:20:55 +0100 | wenzelm | more robust: "gtar" is default name in Homebrew; | file | diff | annotate |
| Thu, 29 Nov 2018 15:17:51 +0100 | wenzelm | clarified "hidden" terminology; | file | diff | annotate |