]> matita.cs.unibo.it Git - helm.git/commitdiff
rebuilt
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Sep 2006 09:19:47 +0000 (09:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Sep 2006 09:19:47 +0000 (09:19 +0000)
helm/software/matita/.depend

index 8b64721dad85a6824d24c9a6af250d6ae4605447..8dd26ce54979509c27e9020865f46aff5916d4b5 100644 (file)
@@ -40,12 +40,14 @@ matitamakeLib.cmo: buildTimeConf.cmi matitamakeLib.cmi
 matitamakeLib.cmx: buildTimeConf.cmx matitamakeLib.cmi 
 matitamake.cmo: matitamakeLib.cmi matitaInit.cmi matitamake.cmi 
 matitamake.cmx: matitamakeLib.cmx matitaInit.cmx matitamake.cmi 
-matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
-    matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi lablGraphviz.cmi \
-    buildTimeConf.cmi applyTransformation.cmi matitaMathView.cmi 
-matitaMathView.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
-    matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx lablGraphviz.cmx \
-    buildTimeConf.cmx applyTransformation.cmx matitaMathView.cmi 
+matitaMathView.cmo: matitamakeLib.cmi matitaTypes.cmi matitaScript.cmi \
+    matitaMisc.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi \
+    lablGraphviz.cmi buildTimeConf.cmi applyTransformation.cmi \
+    matitaMathView.cmi 
+matitaMathView.cmx: matitamakeLib.cmx matitaTypes.cmx matitaScript.cmx \
+    matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \
+    lablGraphviz.cmx buildTimeConf.cmx applyTransformation.cmx \
+    matitaMathView.cmi 
 matitaMisc.cmo: buildTimeConf.cmi matitaMisc.cmi 
 matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi 
 matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi \