| 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 |
| Wed, 19 Jul 2023 11:31:19 +0200 | wenzelm | proper build_options (amending 822ddccda899); | changeset | files |
| Wed, 19 Jul 2023 10:56:19 +0200 | wenzelm | clarified options; | changeset | files |
| Wed, 19 Jul 2023 10:42:40 +0200 | wenzelm | proforma support for remote build hosts; | changeset | files |
| Tue, 18 Jul 2023 23:03:39 +0200 | wenzelm | more options for performance tuning; | changeset | files |
| Tue, 18 Jul 2023 21:06:11 +0200 | wenzelm | more operations; | changeset | files |