]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/grafite_engine/.depend.opt
...
[helm.git] / helm / software / components / grafite_engine / .depend.opt
1 grafiteSync.cmi: grafiteTypes.cmi 
2 grafiteEngine.cmi: grafiteTypes.cmi 
3 grafiteTypes.cmo: grafiteTypes.cmi 
4 grafiteTypes.cmx: grafiteTypes.cmi 
5 grafiteSync.cmo: grafiteTypes.cmi grafiteSync.cmi 
6 grafiteSync.cmx: grafiteTypes.cmx grafiteSync.cmi 
7 grafiteEngine.cmo: grafiteTypes.cmi grafiteSync.cmi grafiteEngine.cmi 
8 grafiteEngine.cmx: grafiteTypes.cmx grafiteSync.cmx grafiteEngine.cmi