| Sun, 29 Nov 2020 15:58:43 +0100 | wenzelm | proper positions for inlined command messages, e.g. for completion within theory header; | changeset | files |
| Sun, 29 Nov 2020 15:44:53 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 29 Nov 2020 15:41:36 +0100 | wenzelm | clarified modules; | changeset | files |