| 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 |
| Thu, 19 Aug 2010 22:26:15 +0200 | wenzelm | added toString methods; | changeset | files |
| Thu, 19 Aug 2010 22:04:20 +0200 | wenzelm | misc tuning and simplification; | changeset | files |