| Thu, 02 Sep 2010 23:17:13 +0200 | wenzelm | Position.Range: exclude singularity (again); | file | diff | annotate |
| Tue, 31 Aug 2010 23:28:21 +0200 | wenzelm | Command.State: add reported positions to markup tree, according main message position or Markup.binding/entity/report occurrences in body; | file | diff | annotate |
| Mon, 30 Aug 2010 13:01:32 +0200 | wenzelm | Command.results: ordered by serial number; | file | diff | annotate |
| Wed, 25 Aug 2010 22:37:53 +0200 | wenzelm | organized markup properties via apply/unapply patterns; | file | diff | annotate |
| Fri, 20 Aug 2010 12:12:28 +0200 | wenzelm | alternative constructor for Range singularities; | file | diff | annotate |
| 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; | file | diff | annotate |
| Wed, 18 Aug 2010 23:44:50 +0200 | wenzelm | more efficient Markup_Tree, based on branches sorted by quasi-order; | file | diff | annotate |