xml2Gdome.cmx: xml2Gdome.cmi
sequentPp.cmo: cic2Xml.cmi sequentPp.cmi
sequentPp.cmx: cic2Xml.cmx sequentPp.cmi
-applyStylesheets.cmo: xml2Gdome.cmi sequentPp.cmi misc.cmi cic2Xml.cmi \
- applyStylesheets.cmi
-applyStylesheets.cmx: xml2Gdome.cmx sequentPp.cmx misc.cmx cic2Xml.cmx \
- applyStylesheets.cmi
applyTransformation.cmo: xml2Gdome.cmi sequent2pres.cmi mpresentation.cmi \
misc.cmi content2pres.cmi box.cmi ast2pres.cmi applyTransformation.cmi
applyTransformation.cmx: xml2Gdome.cmx sequent2pres.cmx mpresentation.cmx \