| Thu, 22 Dec 2016 11:08:58 +0100 | wenzelm | clarified message; | changeset | files |
| Wed, 21 Dec 2016 23:54:21 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 21 Dec 2016 23:30:13 +0100 | wenzelm | tuned -- use zero-based Line.Position; | changeset | files |