| Mon, 05 Sep 2022 23:00:00 +0200 | wenzelm | proper antiquotations; | changeset | files |
| 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 |