| Mon, 03 Feb 2025 19:50:27 +0100 |
wenzelm |
more uniform cleanup;
|
file |
diff |
annotate
|
| Mon, 03 Feb 2025 18:55:43 +0100 |
wenzelm |
more robust: avoid expand_path, which requires "bin/isabelle getenv";
|
file |
diff |
annotate
|
| Thu, 30 Jan 2025 21:44:44 +0100 |
wenzelm |
more thorough cleanup;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 15:22:37 +0200 |
wenzelm |
bash: proper bash_process via SSH;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 15:13:03 +0200 |
wenzelm |
clarified signature: support explicit cwd;
|
file |
diff |
annotate
|
| 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
|