| Tue, 24 Jan 2023 15:16:24 +0100 | wenzelm | more robust and uniform Other_Isabelle.scala_build; | changeset | files |
| Tue, 24 Jan 2023 15:00:01 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 24 Jan 2023 14:55:19 +0100 | wenzelm | tuned message; | changeset | files |
| Tue, 24 Jan 2023 14:46:51 +0100 | wenzelm | more robust (see also 7f55a3e28c88): resolve components from current Isabelle context, using Isabelle/Scala instead of shell scripts; | changeset | files |
| Tue, 24 Jan 2023 11:36:15 +0100 | wenzelm | more strict; | changeset | files |
| Tue, 24 Jan 2023 11:34:39 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 24 Jan 2023 11:30:56 +0100 | wenzelm | proper ssh.bash_path; | changeset | files |