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