| Wed, 17 Nov 2021 15:23:15 +0100 | wenzelm | present only selected session theories (as in Isabelle2021), in contrast to 2bc24136bdeb, eb89b3a37826; | changeset | files |
| Wed, 17 Nov 2021 13:11:58 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 17 Nov 2021 12:55:02 +0100 | wenzelm | clarified modules; | changeset | files |