| Mon, 28 Jun 2021 14:43:33 +0200 | wenzelm | clarified modules; | changeset | files |
| Mon, 28 Jun 2021 14:24:50 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 28 Jun 2021 14:11:53 +0200 | wenzelm | clarified modules (again): services require full Isabelle/Scala environment; | changeset | files |