| Tue, 24 Jan 2023 14:46:51 +0100 | wenzelm | more robust (see also 7f55a3e28c88): resolve components from current Isabelle context, using Isabelle/Scala instead of shell scripts; | changeset | files |
| Tue, 24 Jan 2023 11:36:15 +0100 | wenzelm | more strict; | changeset | files |
| Tue, 24 Jan 2023 11:34:39 +0100 | wenzelm | tuned signature; | changeset | files |