| Fri, 19 May 2023 11:42:12 +0200 | wenzelm | remove pointless context setup (see also b2e449c155a4); | changeset | files |
| Fri, 19 May 2023 11:41:30 +0200 | wenzelm | more careful reset_context for stored entity; | changeset | files |
| Thu, 18 May 2023 23:50:59 +0200 | wenzelm | more careful reset/set_context for stored declarations; | changeset | files |
| Thu, 18 May 2023 23:21:05 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 18 May 2023 23:20:41 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 18 May 2023 17:21:29 +0200 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Thu, 18 May 2023 15:34:01 +0200 | wenzelm | clarified data: avoid pointless Morphism.transform; | changeset | files |