| Wed, 06 Aug 2008 00:10:31 +0200 | wenzelm | removed obsolete range_of (already included in position); | changeset | files |
| Wed, 06 Aug 2008 00:10:22 +0200 | wenzelm | report markup; | changeset | files |
| Wed, 06 Aug 2008 00:10:18 +0200 | wenzelm | Antiq: inner vs. outer position; | changeset | files |
| Wed, 06 Aug 2008 00:10:13 +0200 | wenzelm | of_properties: observe Markup.position_properties'; | changeset | files |
| Wed, 06 Aug 2008 00:10:08 +0200 | wenzelm | added position_properties'; | changeset | files |
| Tue, 05 Aug 2008 19:29:09 +0200 | wenzelm | token: maintain of source, which retains original position information; | changeset | files |
| Tue, 05 Aug 2008 19:29:08 +0200 | wenzelm | moved OuterLex.count here; | changeset | files |