| Fri, 23 Aug 2019 13:32:27 +0200 | wenzelm | more compact: avoid pointless PThm rudiments; | changeset | files |
| Fri, 23 Aug 2019 13:20:13 +0200 | wenzelm | clarified signature: prefer total operations; | changeset | files |
| Wed, 21 Aug 2019 20:08:50 +0200 | wenzelm | proper graph traversal: avoid multiple visit of unnamed nodes; | changeset | files |
| Wed, 21 Aug 2019 17:32:44 +0200 | wenzelm | more scalable: avoid huge intermediate XML elems; | changeset | files |