From: Claudio Sacerdoti Coen Date: Thu, 27 Nov 2008 21:29:54 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~4487 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9954d0997a4bd2ab6d12178ad1299a269cd9a90e;p=helm.git ... --- diff --git a/helm/software/components/cic_disambiguation/.depend.opt b/helm/software/components/cic_disambiguation/.depend.opt index 6ad263c49..9fd0c6639 100644 --- a/helm/software/components/cic_disambiguation/.depend.opt +++ b/helm/software/components/cic_disambiguation/.depend.opt @@ -1,15 +1,6 @@ -disambiguateChoices.cmi: disambiguateTypes.cmi -disambiguate.cmi: disambiguateTypes.cmi -cicDisambiguate.cmi: disambiguateTypes.cmi disambiguate.cmi -disambiguateTypes.cmo: disambiguateTypes.cmi -disambiguateTypes.cmx: disambiguateTypes.cmi -disambiguateChoices.cmo: disambiguateTypes.cmi disambiguateChoices.cmi -disambiguateChoices.cmx: disambiguateTypes.cmx disambiguateChoices.cmi -disambiguate.cmo: disambiguateTypes.cmi disambiguate.cmi -disambiguate.cmx: disambiguateTypes.cmx disambiguate.cmi -cicDisambiguate.cmo: disambiguateTypes.cmi disambiguate.cmi \ - cicDisambiguate.cmi -cicDisambiguate.cmx: disambiguateTypes.cmx disambiguate.cmx \ - cicDisambiguate.cmi -number_notation.cmo: disambiguateTypes.cmi disambiguateChoices.cmi -number_notation.cmx: disambiguateTypes.cmx disambiguateChoices.cmx +disambiguateChoices.cmo: disambiguateChoices.cmi +disambiguateChoices.cmx: disambiguateChoices.cmi +cicDisambiguate.cmo: cicDisambiguate.cmi +cicDisambiguate.cmx: cicDisambiguate.cmi +number_notation.cmo: disambiguateChoices.cmi +number_notation.cmx: disambiguateChoices.cmx