X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FxmlDiff.mli;h=cf084af946818780aceedd7c40e8af03aecddc8d;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=c62df033ba40c92f76195814590caa2900d5a558;hpb=75f24bc40a8b7b1d00e6e88cb9a7b08c6551cac7;p=helm.git

diff --git a/helm/gTopLevel/xmlDiff.mli b/helm/gTopLevel/xmlDiff.mli
index c62df033b..cf084af94 100644
--- a/helm/gTopLevel/xmlDiff.mli
+++ b/helm/gTopLevel/xmlDiff.mli
@@ -24,3 +24,7 @@
  *)
 
 val update_dom: from: Gdome.document -> Gdome.document -> unit
+
+type highlighted_nodes
+val highlight_nodes: xrefs:(string list) -> Gdome.document -> highlighted_nodes
+val dim_nodes: highlighted_nodes -> unit