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

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