| Sat, 28 Jan 2023 16:51:41 +0100 | wenzelm | proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle system (amending 3e963d68d394); | changeset | files |
| Sat, 28 Jan 2023 16:26:58 +0100 | wenzelm | tuned comments; | changeset | files |
| Sat, 28 Jan 2023 16:20:44 +0100 | wenzelm | tuned; | changeset | files |