| Sat, 01 Jun 2024 14:33:38 +0200 | wenzelm | clarified context for (remote) bash scripts: export variables are optional, support cwd; | file | diff | annotate |
| Fri, 31 May 2024 22:35:44 +0200 | wenzelm | minor performance tuning; | file | diff | annotate |
| Wed, 27 Mar 2024 13:17:04 +0100 | wenzelm | tuned signature: more permissive; | file | diff | annotate |
| Wed, 27 Mar 2024 12:50:37 +0100 | wenzelm | proper services for Setup_Tool --- avoid hardwired stuff; | file | diff | annotate |
| Wed, 21 Feb 2024 11:43:30 +0100 | wenzelm | propagate property "isabelle.debug", notably for Java/Scala exception trace; | file | diff | annotate |
| 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 |