| 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 |