| Sun, 11 Mar 2018 15:21:20 +0100 | wenzelm | clarified default server name; | changeset | files |
| Sun, 11 Mar 2018 15:15:30 +0100 | wenzelm | more uniform output: this may be parsed by another program; | changeset | files |
| Sun, 11 Mar 2018 15:08:14 +0100 | wenzelm | clarified argument formats: explicit Unit, allow XML.Elem as well; | changeset | files |
| Sun, 11 Mar 2018 15:06:48 +0100 | wenzelm | tuned comments; | changeset | files |
| Sun, 11 Mar 2018 15:05:43 +0100 | wenzelm | convenience to represent XML.Body as single XML.Elem; | changeset | files |
| Sun, 11 Mar 2018 13:18:41 +0100 | wenzelm | clarified AFP partitioning; | changeset | files |