| Tue, 24 Aug 2010 23:49:07 +0200 | wenzelm | Text.Range.is_singleton; | changeset | files |
| Tue, 24 Aug 2010 21:34:38 +0200 | wenzelm | Markup_Tree.+: new info tends to sink to bottom, where it is prefered by select; | changeset | files |
| Tue, 24 Aug 2010 21:22:01 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Aug 2010 21:20:08 +0200 | wenzelm | Markup_Tree.select: more straight-forward recursion producing one main stream, avoid fragmentation of parent info due to ignored subtree; | changeset | files |
| Tue, 24 Aug 2010 20:36:48 +0200 | wenzelm | tuned root markup; | changeset | files |
| Mon, 23 Aug 2010 20:50:00 +0200 | wenzelm | misc tuning of important special cases; | changeset | files |
| Mon, 23 Aug 2010 19:35:57 +0200 | hoelzl | Rewrite the Probability theory. | changeset | files |