]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/disambiguation/.depend
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
added config.ac to the tarball for debian packages
[helm.git] / helm / software / components / disambiguation / .depend
1 disambiguateTypes.cmi :
2 disambiguate.cmi : disambiguateTypes.cmi
3 multiPassDisambiguator.cmi : disambiguateTypes.cmi disambiguate.cmi
4 disambiguateTypes.cmo : disambiguateTypes.cmi
5 disambiguateTypes.cmx : disambiguateTypes.cmi
6 disambiguate.cmo : disambiguateTypes.cmi disambiguate.cmi
7 disambiguate.cmx : disambiguateTypes.cmx disambiguate.cmi
8 multiPassDisambiguator.cmo : disambiguateTypes.cmi disambiguate.cmi \
9     multiPassDisambiguator.cmi
10 multiPassDisambiguator.cmx : disambiguateTypes.cmx disambiguate.cmx \
11     multiPassDisambiguator.cmi
Unnamed repository; edit this file 'description' to name the repository.