| Fri, 16 Feb 2024 17:46:43 +0100 | wenzelm | support explicit USER_HOME within SSH session; | file | diff | annotate |
| Tue, 29 Aug 2023 17:29:34 +0200 | wenzelm | clarified signature: prefer enum types; | file | diff | annotate |
| Thu, 20 Jul 2023 12:11:34 +0200 | wenzelm | clarified file location: to be used by regular Isabelle/Scala tools; | file | diff | annotate | base |