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 |