| Wed, 19 Jul 2023 16:56:24 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 19 Jul 2023 16:48:22 +0200 | wenzelm | clarified options; | changeset | files |
| Wed, 19 Jul 2023 16:04:59 +0200 | wenzelm | clarified options; | changeset | files |
| Wed, 19 Jul 2023 15:56:32 +0200 | wenzelm | proper Build_Cluster.Host.parse for parameters and system options; | changeset | files |
| Wed, 19 Jul 2023 15:40:02 +0200 | wenzelm | more operations for independent "inline" options; | changeset | files |
| Wed, 19 Jul 2023 13:29:18 +0200 | wenzelm | clarified options: accommodate potentially slow database connection; | changeset | files |
| Wed, 19 Jul 2023 13:17:38 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Wed, 19 Jul 2023 11:40:00 +0200 | wenzelm | add option "build_context" in anticipation of AFP entries that require special tricks in Isabelle/ML (NB: system component settings are unavailable in AFP); | changeset | files |