| Mon, 05 Sep 2022 22:47:09 +0200 | wenzelm | clarified options, following e.g. "show_consts"; | changeset | files |
| Mon, 05 Sep 2022 21:59:05 +0200 | wenzelm | proper Envir.subst operations: env is already normalized, using Envir.norm may lead to non-termination; | changeset | files |
| Mon, 05 Sep 2022 21:20:38 +0200 | wenzelm | unused (see 15758fced053); | changeset | files |
| 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 |