| Mon, 05 Sep 2022 21:18:40 +0200 | wenzelm | clarified modules; | changeset | files |
| Mon, 05 Sep 2022 21:13:29 +0200 | wenzelm | show goal instantiation, notably for 'schematic_goal' command (inactive by default); | changeset | files |
| Mon, 05 Sep 2022 20:22:13 +0200 | wenzelm | proper umlauts; | changeset | files |