From: Enrico Tassi Date: Thu, 14 Dec 2006 18:14:07 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~6592 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f6e904c6d8b5159a51bebb9bc4da48641dec8328;p=helm.git ... --- diff --git a/helm/software/components/content_pres/.depend b/helm/software/components/content_pres/.depend index cddd3d80f..5a5fbce64 100644 --- a/helm/software/components/content_pres/.depend +++ b/helm/software/components/content_pres/.depend @@ -32,10 +32,10 @@ content2pres.cmx: termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \ cicNotationPres.cmx box.cmx content2pres.cmi content2Procedural.cmo: content2Procedural.cmi content2Procedural.cmx: content2Procedural.cmi -objPp.cmo: content2pres.cmi content2Procedural.cmi cicNotationPres.cmi \ - boxPp.cmi objPp.cmi -objPp.cmx: content2pres.cmx content2Procedural.cmx cicNotationPres.cmx \ - boxPp.cmx objPp.cmi +objPp.cmo: termContentPres.cmi content2pres.cmi content2Procedural.cmi \ + cicNotationPres.cmi boxPp.cmi objPp.cmi +objPp.cmx: termContentPres.cmx content2pres.cmx content2Procedural.cmx \ + cicNotationPres.cmx boxPp.cmx objPp.cmi sequent2pres.cmo: termContentPres.cmi mpresentation.cmi cicNotationPres.cmi \ box.cmi sequent2pres.cmi sequent2pres.cmx: termContentPres.cmx mpresentation.cmx cicNotationPres.cmx \