| Thu, 27 Feb 2014 14:15:23 +0100 | wenzelm | proper document blobs for initial edit, which is relevant for loading auxiliary file buffers; | changeset | files |
| Thu, 27 Feb 2014 14:07:04 +0100 | wenzelm | more formal Document.Blobs; | changeset | files |
| Thu, 27 Feb 2014 12:48:59 +0100 | wenzelm | tuned output; | changeset | files |