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