X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2F.depend;h=9ebd03a649250c894d51cbef4be6bbdb6114162e;hb=e7f64fe2cc67f3514131c8831f87311ff600d005;hp=c9a27fc56ec6cef32031ea883a664300aef03d76;hpb=bee436af0c6ceb1c83259c94036df8b12f901f2d;p=helm.git

diff --git a/helm/software/matita/.depend b/helm/software/matita/.depend
index c9a27fc56..9ebd03a64 100644
--- a/helm/software/matita/.depend
+++ b/helm/software/matita/.depend
@@ -1,7 +1,5 @@
 applyTransformation.cmo: applyTransformation.cmi 
 applyTransformation.cmx: applyTransformation.cmi 
-buildTimeConf.cmo: 
-buildTimeConf.cmx: 
 dump_moo.cmo: buildTimeConf.cmo 
 dump_moo.cmx: buildTimeConf.cmx 
 lablGraphviz.cmo: lablGraphviz.cmi 
@@ -26,8 +24,6 @@ matitaEngine.cmo: applyTransformation.cmi matitaEngine.cmi
 matitaEngine.cmx: applyTransformation.cmx matitaEngine.cmi 
 matitaExcPp.cmo: matitaEngine.cmi matitaExcPp.cmi 
 matitaExcPp.cmx: matitaEngine.cmx matitaExcPp.cmi 
-matitaGeneratedGui.cmo: 
-matitaGeneratedGui.cmx: 
 matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \
     matitaGtkMisc.cmi 
 matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
@@ -72,21 +68,8 @@ predefined_virtuals.cmo: virtuals.cmi predefined_virtuals.cmi
 predefined_virtuals.cmx: virtuals.cmx predefined_virtuals.cmi 
 virtuals.cmo: virtuals.cmi 
 virtuals.cmx: virtuals.cmi 
-applyTransformation.cmi: 
-lablGraphviz.cmi: 
-matitaAutoGui.cmi: 
-matitaclean.cmi: 
-matitacLib.cmi: 
-matitadep.cmi: 
-matitaEngine.cmi: 
-matitaExcPp.cmi: 
 matitaGtkMisc.cmi: matitaGeneratedGui.cmo 
 matitaGui.cmi: matitaGuiTypes.cmi 
 matitaGuiTypes.cmi: matitaTypes.cmi matitaGeneratedGui.cmo 
-matitaInit.cmi: 
 matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi 
-matitaMisc.cmi: 
 matitaScript.cmi: matitaTypes.cmi 
-matitaTypes.cmi: 
-predefined_virtuals.cmi: 
-virtuals.cmi: