X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2F.depend;h=97238c4d861fc8ee80cbafc6c9c6337d3e3babf2;hb=2b837ca9e298eb44eee95d9ca0e331c577785dcb;hp=d79de5566183d0428037432ea79e73face4b5449;hpb=13587e69f6deabddceca795d8a11d38bd2a7eaf3;p=helm.git diff --git a/helm/software/components/acic_procedural/.depend b/helm/software/components/acic_procedural/.depend index d79de5566..97238c4d8 100644 --- a/helm/software/components/acic_procedural/.depend +++ b/helm/software/components/acic_procedural/.depend @@ -1,4 +1,13 @@ +proceduralHelpers.cmi: +proceduralClassify.cmi: +proceduralOptimizer.cmi: +proceduralTypes.cmi: +proceduralMode.cmi: +proceduralConversion.cmi: +procedural1.cmi: proceduralTypes.cmi +procedural2.cmi: proceduralTypes.cmi proceduralTeX.cmi: proceduralTypes.cmi +acic2Procedural.cmi: proceduralHelpers.cmo: proceduralHelpers.cmi proceduralHelpers.cmx: proceduralHelpers.cmi proceduralClassify.cmo: proceduralHelpers.cmi proceduralClassify.cmi @@ -13,11 +22,17 @@ proceduralMode.cmo: proceduralClassify.cmi proceduralMode.cmi proceduralMode.cmx: proceduralClassify.cmx proceduralMode.cmi proceduralConversion.cmo: proceduralHelpers.cmi proceduralConversion.cmi proceduralConversion.cmx: proceduralHelpers.cmx proceduralConversion.cmi -acic2Procedural.cmo: proceduralTypes.cmi proceduralHelpers.cmi \ - proceduralConversion.cmi proceduralClassify.cmi acic2Procedural.cmi -acic2Procedural.cmx: proceduralTypes.cmx proceduralHelpers.cmx \ - proceduralConversion.cmx proceduralClassify.cmx acic2Procedural.cmi +procedural1.cmo: proceduralTypes.cmi procedural1.cmi +procedural1.cmx: proceduralTypes.cmx procedural1.cmi +procedural2.cmo: proceduralTypes.cmi proceduralHelpers.cmi \ + proceduralConversion.cmi proceduralClassify.cmi procedural2.cmi +procedural2.cmx: proceduralTypes.cmx proceduralHelpers.cmx \ + proceduralConversion.cmx proceduralClassify.cmx procedural2.cmi proceduralTeX.cmo: proceduralTypes.cmi proceduralHelpers.cmi \ proceduralTeX.cmi proceduralTeX.cmx: proceduralTypes.cmx proceduralHelpers.cmx \ proceduralTeX.cmi +acic2Procedural.cmo: proceduralTypes.cmi proceduralTeX.cmi \ + proceduralHelpers.cmi procedural2.cmi procedural1.cmi acic2Procedural.cmi +acic2Procedural.cmx: proceduralTypes.cmx proceduralTeX.cmx \ + proceduralHelpers.cmx procedural2.cmx procedural1.cmx acic2Procedural.cmi