- cicMathView.cmx buildTimeConf.cmx matitaScript.cmi
-applyTransformation.cmi:
-matitaclean.cmi:
-matitaFilesystem.cmi:
-matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi
-matitaTypes.cmi:
-matitaMisc.cmi: matitaGuiTypes.cmi
-predefined_virtuals.cmi:
-cicMathView.cmi: matitaGuiTypes.cmi applyTransformation.cmi
-matitaGtkMisc.cmi: matitaGeneratedGui.cmo
-virtuals.cmi:
-lablGraphviz.cmi:
-matitaEngine.cmi: applyTransformation.cmi
-matitaGui.cmi: matitaGuiTypes.cmi
-matitaGuiTypes.cmi: matitaGeneratedGui.cmo applyTransformation.cmi
-matitaScriptLexer.cmi:
-matitaAuthentication.cmi: matitaFilesystem.cmi matitaEngine.cmi
-matitaExcPp.cmi:
-matitaInit.cmi:
-matitaScript.cmi:
-matitaScriptLexer.cmo: matitaScriptLexer.cmi
-matitaScriptLexer.cmx: matitaScriptLexer.cmi
-matitaScriptLexer.cmi:
+ cicMathView.cmx buildTimeConf.cmx matitaScript.cmi
+applyTransformation.cmi:
+matitaclean.cmi:
+matitaFilesystem.cmi:
+matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi
+matitaTypes.cmi:
+matitaMisc.cmi: matitaGuiTypes.cmi
+predefined_virtuals.cmi:
+cicMathView.cmi: matitaGuiTypes.cmi applyTransformation.cmi
+matitaGtkMisc.cmi: matitaGeneratedGui.cmo
+virtuals.cmi:
+lablGraphviz.cmi:
+matitaEngine.cmi: applyTransformation.cmi
+matitaGui.cmi: matitaGuiTypes.cmi
+matitaGuiTypes.cmi: matitaGeneratedGui.cmo applyTransformation.cmi
+matitaScriptLexer.cmi:
+matitaAuthentication.cmi: matitaFilesystem.cmi matitaEngine.cmi
+matitaExcPp.cmi:
+matitaInit.cmi:
+matitaScript.cmi:
+matitaScriptLexer.cmo: matitaScriptLexer.cmi
+matitaScriptLexer.cmx: matitaScriptLexer.cmi
+matitaScriptLexer.cmi: