| Fri, 06 Aug 2021 20:33:59 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 06 Aug 2021 14:12:47 +0200 | wenzelm | unused; | changeset | files |
| Fri, 06 Aug 2021 13:18:04 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 05 Aug 2021 20:57:54 +0200 | wenzelm | merged | changeset | files |
| Thu, 05 Aug 2021 20:57:19 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 05 Aug 2021 20:24:42 +0200 | wenzelm | type classes for XML data representation; | changeset | files |
| Thu, 05 Aug 2021 18:53:53 +0200 | wenzelm | tuned signature; | changeset | files |