]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/xmlDiff.ml
bugfix: top level keys now should work
[helm.git] / helm / gTopLevel / xmlDiff.ml
2003-09-23 Claudio Sacerdoti... This version of xmlDiff is much much much smarter than...
2003-09-05 Claudio Sacerdoti... get_childNodes no longer used ==> major performance...
2003-07-28 Claudio Sacerdoti... background (deprecated) ==> mathbackground
2003-07-28 Claudio Sacerdoti... Bug fixed: it could have happened that the tree structu...
2003-07-28 Claudio Sacerdoti... - severe bug fixing
2003-07-25 Claudio Sacerdoti... Highlighting of changed parts.
2003-07-22 Andrea AspertiDebugging stuff changed.
2003-07-22 Claudio Sacerdoti... XmlDiff-ing of DOM trees implemented.