| 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 |
| Wed, 19 Jul 2023 11:31:19 +0200 | wenzelm | proper build_options (amending 822ddccda899); | changeset | files |