| Fri, 20 Aug 2010 22:35:01 +0200 | wenzelm | Markup_Tree.select: misc simplification, proper restriction of parent in subtree; | changeset | files |
| Fri, 20 Aug 2010 22:32:15 +0200 | wenzelm | added Text.Range.- convenience; | changeset | files |
| Fri, 20 Aug 2010 20:11:25 +0200 | wenzelm | tuned signatures; | changeset | files |
| Fri, 20 Aug 2010 12:12:28 +0200 | wenzelm | alternative constructor for Range singularities; | changeset | files |
| Fri, 20 Aug 2010 11:57:43 +0200 | wenzelm | concentrate protocol message formats in Isar_Document; | changeset | files |
| Fri, 20 Aug 2010 11:47:33 +0200 | wenzelm | Branches.overlapping: proper treatment of stop_range that overlaps with end; | changeset | files |
| 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 |