| Sun, 29 Nov 2020 16:21:27 +0100 | wenzelm | clarified parser; | changeset | files |
| Sun, 29 Nov 2020 16:11:52 +0100 | wenzelm | tuned signature; | changeset | files |
| 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 |
| Sun, 29 Nov 2020 15:33:19 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 29 Nov 2020 15:23:18 +0100 | wenzelm | clarified checks (see f34f5c057c9e); | changeset | files |