| Fri, 19 Aug 2022 20:07:41 +0200 | wenzelm | clarified modules; | changeset | files |
| Fri, 19 Aug 2022 16:46:00 +0200 | wenzelm | clarified signature: support for adhoc file types; | changeset | files |
| Fri, 19 Aug 2022 16:19:59 +0200 | wenzelm | clarified Presentation.Nodes, with explicit Nodes.Session and Nodes.Theory; | changeset | files |
| Fri, 19 Aug 2022 15:24:39 +0200 | wenzelm | export entity file position as well, e.g. relevant for HTML presentation with aux. files; | changeset | files |
| Fri, 19 Aug 2022 15:06:04 +0200 | wenzelm | proper permissive = true (amending 475fedc02737) | changeset | files |
| Fri, 19 Aug 2022 14:59:24 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 19 Aug 2022 14:53:38 +0200 | wenzelm | clarified signature; | changeset | files |