| Thu, 09 Sep 2021 10:40:57 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 08 Sep 2021 08:41:36 +0200 | wenzelm | simplified: uniqueness check happens in export_consumer; | changeset | files |
| Tue, 07 Sep 2021 22:35:44 +0200 | wenzelm | more markup, e.g. to locate defining theory node in formal document output; | changeset | files |