added dependency on helm-xmldiff

diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend
index 5075841eb664b0e17c73f3b40fe1bc481c874639..82b678e1e78f80a3ed0490eb9f21ca6fcd34a10f 100644 (file)
--- a/helm/gTopLevel/.depend
+++ b/helm/gTopLevel/.depend
@@ -15,14 +15,10 @@ termEditor.cmo: disambiguatingParser.cmi termEditor.cmi
 termEditor.cmx: disambiguatingParser.cmx termEditor.cmi 
 texTermEditor.cmo: disambiguatingParser.cmi texTermEditor.cmi 
 texTermEditor.cmx: disambiguatingParser.cmx texTermEditor.cmi 
-xmlDiff.cmo: xmlDiff.cmi 
-xmlDiff.cmx: xmlDiff.cmi 
 chosenTransformer.cmo: chosenTransformer.cmi 
 chosenTransformer.cmx: chosenTransformer.cmi 
-termViewer.cmo: chosenTransformer.cmi logicalOperations.cmi xmlDiff.cmi \
-    termViewer.cmi 
-termViewer.cmx: chosenTransformer.cmx logicalOperations.cmx xmlDiff.cmx \
-    termViewer.cmi 
+termViewer.cmo: logicalOperations.cmi termViewer.cmi 
+termViewer.cmx: logicalOperations.cmx termViewer.cmi 
 invokeTactics.cmo: logicalOperations.cmi proofEngine.cmi termEditor.cmi \
     termViewer.cmi invokeTactics.cmi 
 invokeTactics.cmx: logicalOperations.cmx proofEngine.cmx termEditor.cmx \

diff --git a/helm/gTopLevel/Makefile.in b/helm/gTopLevel/Makefile.in
index 74b93230b833d1ecae95aa24d538f7d51524bbdb..82c3d28212cd8a702e1b9abaf3e70f4f522cef6e 100644 (file)
--- a/helm/gTopLevel/Makefile.in
+++ b/helm/gTopLevel/Makefile.in
@@ -9,6 +9,7 @@ TEST_REQUIRES = \
        helm-cic_textual_parser2 \
        helm-cic_textual_parser \
        helm-tex_cic_textual_parser \
+       helm-xmldiff \
        lablgtk2 \
        mathml-editor \
        lablgtkmathview
@@ -44,7 +45,6 @@ INTERFACE_FILES = \
        disambiguatingParser.mli \
        termEditor.mli \
        texTermEditor.mli \
-       xmlDiff.mli \
        chosenTransformer.mli \
        termViewer.mli \
        invokeTactics.mli \