From: Stefano Zacchiroli Date: Wed, 27 Sep 2006 09:19:47 +0000 (+0000) Subject: rebuilt X-Git-Tag: 0.4.95@7852~992 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=29965ec92dc37d77ff5a6e82486cf558370ace45;p=helm.git rebuilt --- diff --git a/matita/.depend b/matita/.depend index 8b64721da..8dd26ce54 100644 --- a/matita/.depend +++ b/matita/.depend @@ -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 \