| Fri, 25 Aug 2023 20:08:32 +0200 | wenzelm | support multiple host names; | changeset | files |
| Fri, 25 Aug 2023 15:31:14 +0200 | wenzelm | clarified default options: SQLite build_database is unsupported for Isabelle2023, due to lack of proper transaction_lock; | changeset | files |