| Fri, 20 Aug 2010 11:00:15 +0200 | wenzelm | further clarification/unification of Position.Range and Text.Range concerning singularities: start offset is always included; | changeset | files |
| Thu, 19 Aug 2010 22:52:00 +0200 | wenzelm | parameterized type Markup_Tree.Node; | changeset | files |
| Thu, 19 Aug 2010 22:26:15 +0200 | wenzelm | added toString methods; | changeset | files |