X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_disambiguation%2F.depend.opt;h=6904cfd3b7d85bf4f66651ac11acaf57ff2c8316;hb=6b76c5b3b82753966cabffd8536d8dd9f8cada20;hp=d5eef6bc06265d73f5d3443041b60c587a92931f;hpb=aa5c8c99c9f7ae285883cff133fc02b3d064888c;p=helm.git diff --git a/matita/components/ng_disambiguation/.depend.opt b/matita/components/ng_disambiguation/.depend.opt index d5eef6bc0..6904cfd3b 100644 --- a/matita/components/ng_disambiguation/.depend.opt +++ b/matita/components/ng_disambiguation/.depend.opt @@ -1,9 +1,15 @@ -disambiguateChoices.cmx : nnumber_notation.cmx disambiguateChoices.cmi +disambiguateChoices.cmx : \ + nnumber_notation.cmx \ + disambiguateChoices.cmi disambiguateChoices.cmi : -grafiteDisambiguate.cmx : nCicDisambiguate.cmx disambiguateChoices.cmx \ +grafiteDisambiguate.cmx : \ + nCicDisambiguate.cmx \ + disambiguateChoices.cmx \ grafiteDisambiguate.cmi grafiteDisambiguate.cmi : -nCicDisambiguate.cmx : nCicDisambiguate.cmi +nCicDisambiguate.cmx : \ + nCicDisambiguate.cmi nCicDisambiguate.cmi : -nnumber_notation.cmx : nnumber_notation.cmi +nnumber_notation.cmx : \ + nnumber_notation.cmi nnumber_notation.cmi :