| Thu, 27 Jun 2024 23:53:31 +0200 | wenzelm | minor performance tuning: more direct YXML.bytes_of_body; | changeset | files |
| Thu, 27 Jun 2024 23:45:32 +0200 | wenzelm | more robust: prefer tail-recursive traversal; | changeset | files |
| Thu, 27 Jun 2024 23:36:19 +0200 | wenzelm | tuned module structure; | changeset | files |
| Thu, 27 Jun 2024 23:32:24 +0200 | wenzelm | more robust: prefer tail-recursive XML.Traversal; | changeset | files |