-sequentPp.cmo: cic2Xml.cmi cic2acic.cmi sequentPp.cmi
-sequentPp.cmx: cic2Xml.cmx cic2acic.cmx sequentPp.cmi
-misc.cmo: misc.cmi
-misc.cmx: misc.cmi
-disambiguate.cmo: disambiguate.cmi
-disambiguate.cmx: disambiguate.cmi
-termEditor.cmo: disambiguate.cmi termEditor.cmi
-termEditor.cmx: disambiguate.cmx termEditor.cmi
-termEditor.cmi: disambiguate.cmi
-texTermEditor.cmo: disambiguate.cmi misc.cmi texTermEditor.cmi
-texTermEditor.cmx: disambiguate.cmx misc.cmx texTermEditor.cmi
-texTermEditor.cmi: disambiguate.cmi
-applyStylesheets.cmo: cic2Xml.cmi misc.cmi sequentPp.cmi xml2Gdome.cmi \
- applyStylesheets.cmi
-applyStylesheets.cmx: cic2Xml.cmx misc.cmx sequentPp.cmx xml2Gdome.cmx \
- applyStylesheets.cmi
-applyStylesheets.cmi: cic2acic.cmi
-termViewer.cmo: applyStylesheets.cmi cic2acic.cmi logicalOperations.cmi \
- misc.cmi termViewer.cmi
-termViewer.cmx: applyStylesheets.cmx cic2acic.cmx logicalOperations.cmx \
- misc.cmx termViewer.cmi
-termViewer.cmi: cic2acic.cmi
+oldDisambiguate.cmo: oldDisambiguate.cmi
+oldDisambiguate.cmx: oldDisambiguate.cmi
+disambiguatingParser.cmo: oldDisambiguate.cmi disambiguatingParser.cmi
+disambiguatingParser.cmx: oldDisambiguate.cmx disambiguatingParser.cmi
+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