txt.addHtml("<ul class='changelist'>");
lvl1listopened = true;
}
// left are the old ones
for (int i = d.leftStart(); i < d.leftEnd(); i++) {
if (lvl1listopened)
txt.addHtml("<li>");
// add a bullet for a old tag
addTagOld(txt, other.getAncestor(i));