+matita.cmo : predefined_virtuals.cmi matitaScript.cmi matitaMisc.cmi \
+ matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi buildTimeConf.cmx \
+ applyTransformation.cmi
+matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \
+ matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx \
+ applyTransformation.cmx
+matitaScript.cmo : virtuals.cmi matitaTypes.cmi matitaMisc.cmi \
+ matitaMathView.cmi matitaGtkMisc.cmi matitaEngine.cmi cicMathView.cmi \
+ buildTimeConf.cmx matitaScript.cmi