]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/metadata/.depend
new metadataTypes interface (with ownerize function)
[helm.git] / helm / ocaml / metadata / .depend
1 metadataExtractor.cmi: metadataTypes.cmi 
2 metadataPp.cmi: metadataTypes.cmi 
3 metadataConstraints.cmi: metadataTypes.cmi 
4 metadataTypes.cmo: metadataTypes.cmi 
5 metadataTypes.cmx: metadataTypes.cmi 
6 metadataExtractor.cmo: metadataTypes.cmi metadataExtractor.cmi 
7 metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.cmi 
8 metadataPp.cmo: metadataTypes.cmi metadataPp.cmi 
9 metadataPp.cmx: metadataTypes.cmx metadataPp.cmi 
10 metadataDb.cmo: metadataExtractor.cmi metadataPp.cmi metadataTypes.cmi \
11     metadataDb.cmi 
12 metadataDb.cmx: metadataExtractor.cmx metadataPp.cmx metadataTypes.cmx \
13     metadataDb.cmi 
14 metadataConstraints.cmo: metadataPp.cmi metadataTypes.cmi \
15     metadataConstraints.cmi 
16 metadataConstraints.cmx: metadataPp.cmx metadataTypes.cmx \
17     metadataConstraints.cmi