]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/grafite_engine/.depend
update in ground and delayed_updating
[helm.git] / helm / software / components / grafite_engine / .depend
1 grafiteTypes.cmi :
2 grafiteSync.cmi : grafiteTypes.cmi
3 nCicCoercDeclaration.cmi : grafiteTypes.cmi
4 grafiteEngine.cmi : grafiteTypes.cmi
5 grafiteTypes.cmo : grafiteTypes.cmi
6 grafiteTypes.cmx : grafiteTypes.cmi
7 grafiteSync.cmo : grafiteTypes.cmi grafiteSync.cmi
8 grafiteSync.cmx : grafiteTypes.cmx grafiteSync.cmi
9 nCicCoercDeclaration.cmo : grafiteTypes.cmi nCicCoercDeclaration.cmi
10 nCicCoercDeclaration.cmx : grafiteTypes.cmx nCicCoercDeclaration.cmi
11 grafiteEngine.cmo : nCicCoercDeclaration.cmi grafiteTypes.cmi \
12     grafiteSync.cmi grafiteEngine.cmi
13 grafiteEngine.cmx : nCicCoercDeclaration.cmx grafiteTypes.cmx \
14     grafiteSync.cmx grafiteEngine.cmi