| Thu, 16 Mar 2023 15:38:32 +0100 | wenzelm | more thorough database checks; | changeset | files |
| Thu, 16 Mar 2023 15:16:17 +0100 | wenzelm | more thorough treatment of build prefs, guarded by system option "build_through": avoid accidental rebuild of HOL etc.; | changeset | files |
| Thu, 16 Mar 2023 13:18:25 +0100 | wenzelm | clarified build options; | changeset | files |
| Thu, 16 Mar 2023 11:44:07 +0100 | wenzelm | clarified ML option vs. Scala option (see also caa182bdab7a); | changeset | files |