buildTimeConf.cmx applyTransformation.cmx cicMathView.cmi
lablGraphviz.cmo: lablGraphviz.cmi
lablGraphviz.cmx: lablGraphviz.cmi
+matitaAuthentication.cmo: matitaEngine.cmi matitaAuthentication.cmi
+matitaAuthentication.cmx: matitaEngine.cmx matitaAuthentication.cmi
matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi
matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi
matitac.cmo: matitaclean.cmi matitaMisc.cmi matitaInit.cmi matitaEngine.cmi
matitac.cmx: matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaEngine.cmx
-matitadaemon.cmo: matitaGtkMisc.cmi matitaEngine.cmi applyTransformation.cmi
-matitadaemon.cmx: matitaGtkMisc.cmx matitaEngine.cmx applyTransformation.cmx
+matitadaemon.cmo: matitaInit.cmi matitaEngine.cmi matitaAuthentication.cmi \
+ applyTransformation.cmi
+matitadaemon.cmx: matitaInit.cmx matitaEngine.cmx matitaAuthentication.cmx \
+ applyTransformation.cmx
matitaEngine.cmo: applyTransformation.cmi matitaEngine.cmi
matitaEngine.cmx: applyTransformation.cmx matitaEngine.cmi
matitaExcPp.cmo: matitaEngine.cmi matitaExcPp.cmi
applyTransformation.cmi:
cicMathView.cmi: matitaGuiTypes.cmi applyTransformation.cmi
lablGraphviz.cmi:
+matitaAuthentication.cmi: matitaEngine.cmi
matitaclean.cmi:
matitaEngine.cmi: applyTransformation.cmi
matitaExcPp.cmi: