| Sun, 30 Dec 2012 20:15:02 +0100 | wenzelm | ignore markup elements over empty body, which are not well-defined within markup tree and fail to work with merge_disjoint (e.g. multiple inlined positions); | file | diff | annotate |
| Sat, 15 Dec 2012 18:30:09 +0100 | wenzelm | maintain subtree_elements for improved performance of cumulate operator; | file | diff | annotate |
| Sat, 15 Dec 2012 16:59:33 +0100 | wenzelm | more formal class Markup_Tree.Elements; | file | diff | annotate |
| Fri, 28 Sep 2012 22:53:18 +0200 | wenzelm | support for wrapped XML elements, which allows to preserve full markup tree information in to_XML/from_XML conversion; | file | diff | annotate |
| Thu, 27 Sep 2012 19:34:31 +0200 | wenzelm | operations to turn markup into XML; | file | diff | annotate |
| Thu, 27 Sep 2012 14:50:06 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 27 Sep 2012 14:46:34 +0200 | wenzelm | updated to consolidated SortedMap in scala-2.9.x; | file | diff | annotate |