| 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 |