| Thu, 04 Apr 2013 18:20:00 +0200 | wenzelm | tuned signature -- avoid intrusion of slightly odd Swing structures into pure Markup_Tree; | file | diff | annotate |
| 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 |