| Fri, 19 May 2023 21:48:11 +0200 | wenzelm | clarified context; | changeset | files |
| Fri, 19 May 2023 21:22:39 +0200 | wenzelm | clarified signature; | changeset | files |
| 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 |