| Mon, 10 Jul 2023 18:48:22 +0100 | paulson | merged | changeset | files |
| Mon, 10 Jul 2023 18:30:54 +0100 | paulson | more small simplifications | changeset | files |
| Mon, 10 Jul 2023 16:56:42 +0200 | wenzelm | merged | changeset | files |
| Mon, 10 Jul 2023 16:30:18 +0200 | wenzelm | merged | changeset | files |
| Sun, 09 Jul 2023 17:41:02 +0200 | wenzelm | clarified modules (amending 570f65953173); | changeset | files |
| Sun, 09 Jul 2023 17:39:46 +0200 | wenzelm | more markup for command_span: this allows to reconstruct Thy_Element structure without knowing the outer syntax; | changeset | files |
| Sun, 09 Jul 2023 16:29:13 +0200 | wenzelm | create database view for diagnostic purposes; | changeset | files |