Mon, 31 Mar 2014 15:28:14 +0200 | wenzelm | tuned signature -- more static typing; | changeset | files |
Mon, 31 Mar 2014 15:05:24 +0200 | wenzelm | store blob content within document node: aux. files that were once open are made persistent; | changeset | files |
Mon, 31 Mar 2014 12:35:39 +0200 | wenzelm | some shortcuts for chunks, which sometimes avoid bulky string output; | changeset | files |