Wed, 17 Nov 2021 15:46:35 +0100 | wenzelm | more interrupts; | changeset | files |
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 |
Wed, 17 Nov 2021 12:28:07 +0100 | wenzelm | tuned (see also e0d1d9203275); | changeset | files |
Wed, 17 Nov 2021 12:10:48 +0100 | wenzelm | clarified signature; | changeset | files |
Wed, 17 Nov 2021 11:57:34 +0100 | wenzelm | tuned; | changeset | files |