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: matitaInit.cmi matitaGtkMisc.cmi matitaEngine.cmi \
+matitadaemon.cmo: matitaInit.cmi matitaEngine.cmi matitaAuthentication.cmi \
applyTransformation.cmi
-matitadaemon.cmx: matitaInit.cmx matitaGtkMisc.cmx matitaEngine.cmx \
+matitadaemon.cmx: matitaInit.cmx matitaEngine.cmx matitaAuthentication.cmx \
applyTransformation.cmx
matitaEngine.cmo: applyTransformation.cmi matitaEngine.cmi
matitaEngine.cmx: applyTransformation.cmx matitaEngine.cmi
applyTransformation.cmi:
cicMathView.cmi: matitaGuiTypes.cmi applyTransformation.cmi
lablGraphviz.cmi:
+matitaAuthentication.cmi: matitaEngine.cmi
matitaclean.cmi:
matitaEngine.cmi: applyTransformation.cmi
matitaExcPp.cmi: