| Sat, 17 Jul 2021 22:17:27 +0200 | wenzelm | more portable across history; | changeset | files |
| Sat, 17 Jul 2021 22:12:06 +0200 | wenzelm | proper isabelle.setup.Setup build; | changeset | files |
| Sat, 17 Jul 2021 21:56:39 +0200 | wenzelm | rebuild component; | changeset | files |