| Tue, 24 Jan 2023 15:53:13 +0100 | wenzelm | more robust: self-contained Other_Isabelle.isabelle_home; | changeset | files |
| 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 |