| Fri, 04 Oct 2024 13:29:33 +0200 | wenzelm | clarified syntax for opening bundles; | changeset | files |
| Fri, 04 Oct 2024 13:22:35 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 04 Oct 2024 00:26:28 +0200 | wenzelm | clarified bundles for syntax modifications; | changeset | files |