| Wed, 25 Jan 2023 21:49:08 +0100 | wenzelm | tuned messages: less verbosity; | changeset | files |
| Wed, 25 Jan 2023 21:10:20 +0100 | wenzelm | prefer Other_Isabelle.init instead of adhoc scripts; | changeset | files |
| Wed, 25 Jan 2023 20:52:36 +0100 | wenzelm | tuned message, following "isabelle components -a"; | changeset | files |