]> matita.cs.unibo.it Git - helm.git/blob - helm/uwobo/.depend
first moogle template checkin
[helm.git] / helm / uwobo / .depend
1 uwobo.cmo: uwobo_common.cmi uwobo_engine.cmi uwobo_logger.cmi \
2     uwobo_styles.cmi 
3 uwobo.cmx: uwobo_common.cmx uwobo_engine.cmx uwobo_logger.cmx \
4     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_styles.cmo: uwobo_common.cmi uwobo_logger.cmi uwobo_styles.cmi 
14 uwobo_styles.cmx: uwobo_common.cmx uwobo_logger.cmx uwobo_styles.cmi 
15 uwobo_engine.cmi: uwobo_common.cmi uwobo_logger.cmi uwobo_styles.cmi 
16 uwobo_styles.cmi: uwobo_common.cmi uwobo_logger.cmi