better UI for TeX/Unicode and terms grammar

[helm.git] / helm / software / matita / .depend.opt

diff --git a/helm/software/matita/.depend.opt b/helm/software/matita/.depend.opt
index 8477d5640603280e9716d9a0982b7100611d959a..ee77638cc8508d5779d434d89d5ca0709d131444 100644 (file)
--- a/helm/software/matita/.depend.opt
+++ b/helm/software/matita/.depend.opt
@@ -18,8 +18,8 @@ matitac.cmo: matitadep.cmi matitaclean.cmi matitacLib.cmi matitaWiki.cmx \
     matitaMisc.cmi matitaInit.cmi 
 matitac.cmx: matitadep.cmx matitaclean.cmx matitacLib.cmx matitaWiki.cmx \
     matitaMisc.cmx matitaInit.cmx 
-matitadep.cmo: matitaInit.cmi matitadep.cmi 
-matitadep.cmx: matitaInit.cmx matitadep.cmi 
+matitadep.cmo: matitaMisc.cmi matitaInit.cmi matitadep.cmi 
+matitadep.cmx: matitaMisc.cmx matitaInit.cmx matitadep.cmi 
 matitaEngine.cmo: matitaEngine.cmi 
 matitaEngine.cmx: matitaEngine.cmi 
 matitaExcPp.cmo: matitaEngine.cmi matitaExcPp.cmi 
@@ -34,10 +34,10 @@ matitaGui.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
 matitaGui.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
     matitaMathView.cmx matitaGtkMisc.cmx matitaGeneratedGui.cmx \
     matitaExcPp.cmx matitaAutoGui.cmx buildTimeConf.cmx matitaGui.cmi 
-matitaInit.cmo: matitacLib.cmi matitaExcPp.cmi matitaEngine.cmi \
-    buildTimeConf.cmx matitaInit.cmi 
-matitaInit.cmx: matitacLib.cmx matitaExcPp.cmx matitaEngine.cmx \
-    buildTimeConf.cmx matitaInit.cmi 
+matitaInit.cmo: matitacLib.cmi matitaExcPp.cmi buildTimeConf.cmx \
+    matitaInit.cmi 
+matitaInit.cmx: matitacLib.cmx matitaExcPp.cmx buildTimeConf.cmx \
+    matitaInit.cmi 
 matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
     matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi lablGraphviz.cmi \
     buildTimeConf.cmx applyTransformation.cmi matitaMathView.cmi