| Mon, 23 Aug 2010 20:50:00 +0200 | wenzelm | misc tuning of important special cases; | file | diff | annotate |
| Sun, 22 Aug 2010 22:28:24 +0200 | wenzelm | tuned Markup_Tree.+ : slightly more expensive version to rebuild rest avoids crash of RedBlack.scala:120 (version Scala 2.8.0), e.g. on the following input: | file | diff | annotate |
| Sun, 22 Aug 2010 20:25:15 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 22 Aug 2010 19:33:01 +0200 | wenzelm | misc tuning and simplification; | file | diff | annotate |
| Sun, 22 Aug 2010 18:46:16 +0200 | wenzelm | renamed Markup_Tree.Node to Text.Info; | file | diff | annotate |
| Sun, 22 Aug 2010 16:43:20 +0200 | wenzelm | removed obsolete Markup_Tree.flatten/filter; | file | diff | annotate |