boxPp.cmi
boxPp.cmx: renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \
boxPp.cmi
-content2pres.cmo: renderingAttrs.cmi mpresentation.cmi cicNotationPres.cmi \
- box.cmi content2pres.cmi
-content2pres.cmx: renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx \
- box.cmx content2pres.cmi
-sequent2pres.cmo: mpresentation.cmi cicNotationPres.cmi box.cmi \
- sequent2pres.cmi
-sequent2pres.cmx: mpresentation.cmx cicNotationPres.cmx box.cmx \
- sequent2pres.cmi
+content2pres.cmo: termContentPres.cmi renderingAttrs.cmi mpresentation.cmi \
+ cicNotationPres.cmi box.cmi content2pres.cmi
+content2pres.cmx: termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \
+ cicNotationPres.cmx box.cmx content2pres.cmi
+sequent2pres.cmo: termContentPres.cmi mpresentation.cmi cicNotationPres.cmi \
+ box.cmi sequent2pres.cmi
+sequent2pres.cmx: termContentPres.cmx mpresentation.cmx cicNotationPres.cmx \
+ box.cmx sequent2pres.cmi