| Sat, 28 Jan 2023 21:40:06 +0100 | wenzelm | more uniform components context for the managing "self_isabelle" and the managed "other_isabelle"; | changeset | files |
| Sat, 28 Jan 2023 21:32:33 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 28 Jan 2023 21:29:28 +0100 | wenzelm | more operations; | changeset | files |