]> matita.cs.unibo.it Git - helm.git/blob - helm/uwobo/.depend
matitaclean
[helm.git] / helm / uwobo / .depend
1 uwobo.cmo: uwobo_common.cmi uwobo_engine.cmi uwobo_logger.cmi \
2     uwobo_profiles.cmi uwobo_styles.cmi 
3 uwobo.cmx: uwobo_common.cmx uwobo_engine.cmx uwobo_logger.cmx \
4     uwobo_profiles.cmx uwobo_styles.cmx 
5 uwobo_common.cmo: uwobo_common.cmi 
6 uwobo_common.cmx: uwobo_common.cmi 
7 uwobo_engine.cmo: uwobo_common.cmi uwobo_logger.cmi uwobo_styles.cmi \
8     uwobo_engine.cmi 
9 uwobo_engine.cmx: uwobo_common.cmx uwobo_logger.cmx uwobo_styles.cmx \
10     uwobo_engine.cmi 
11 uwobo_logger.cmo: uwobo_logger.cmi 
12 uwobo_logger.cmx: uwobo_logger.cmi 
13 uwobo_profiles.cmo: uwobo_profiles.cmi 
14 uwobo_profiles.cmx: uwobo_profiles.cmi 
15 uwobo_styles.cmo: uwobo_common.cmi uwobo_logger.cmi uwobo_styles.cmi 
16 uwobo_styles.cmx: uwobo_common.cmx uwobo_logger.cmx uwobo_styles.cmi 
17 uwobo_engine.cmi: uwobo_common.cmi uwobo_logger.cmi uwobo_styles.cmi 
18 uwobo_styles.cmi: uwobo_common.cmi uwobo_logger.cmi