- matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx
-matitaScript.cmo: virtuals.cmi matitaTypes.cmi matitaMisc.cmi \
- matitaMathView.cmi matitaGtkMisc.cmi matitaEngine.cmi cicMathView.cmi \
- buildTimeConf.cmo matitaScript.cmi
-matitaScript.cmx: virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
- matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx cicMathView.cmx \
- buildTimeConf.cmx matitaScript.cmi
+ matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx applyTransformation.cmx
+matitaScript.cmo: virtuals.cmi matitaTypes.cmi matitaScriptLexer.cmi \
+ matitaMisc.cmi matitaMathView.cmi matitaGtkMisc.cmi matitaEngine.cmi \
+ cicMathView.cmi buildTimeConf.cmo matitaScript.cmi
+matitaScript.cmx: virtuals.cmx matitaTypes.cmx matitaScriptLexer.cmx \
+ matitaMisc.cmx matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx \
+ cicMathView.cmx buildTimeConf.cmx matitaScript.cmi