| Wed, 28 Dec 2016 17:38:12 +0100 | wenzelm | unused; | changeset | files |
| Wed, 28 Dec 2016 17:35:12 +0100 | wenzelm | clarified options; | changeset | files |
| Wed, 28 Dec 2016 17:26:38 +0100 | wenzelm | clarified signature: maintan Text.Length within Line.Document; | changeset | files |
| Wed, 28 Dec 2016 17:10:09 +0100 | wenzelm | clarified modules; | changeset | files |
| Wed, 28 Dec 2016 17:02:38 +0100 | wenzelm | clarified signature: explicit Length to avoid implicit mistakes; | changeset | files |
| Wed, 28 Dec 2016 16:50:14 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2016 16:45:00 +0100 | wenzelm | more uniform treatment of input/output wrt. client; | changeset | files |