| 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 |
| Sat, 24 Nov 2018 16:41:18 +0100 | wenzelm | more shell functions; | file | diff | annotate |
| Sat, 10 Nov 2018 14:08:02 +0100 | wenzelm | support for user-defined Isabelle/Scala command-line tools; | file | diff | annotate |