X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2F.depend;h=9f2e461aacddacb2f6403c1c5df1f99607c48a11;hb=b367de0252e88d6b0476648d5ceac7e4aeffca27;hp=300db49f5c82984b343ccac5cdc737358932fa75;hpb=908c9a60083706cffe3ca1c9d235a05d38a19516;p=helm.git diff --git a/helm/software/matita/.depend b/helm/software/matita/.depend index 300db49f5..9f2e461aa 100644 --- a/helm/software/matita/.depend +++ b/helm/software/matita/.depend @@ -1,63 +1,88 @@ -applyTransformation.cmo: applyTransformation.cmi -applyTransformation.cmx: applyTransformation.cmi -buildTimeConf.cmo: buildTimeConf.cmi -buildTimeConf.cmx: buildTimeConf.cmi -dump_moo.cmo: buildTimeConf.cmi -dump_moo.cmx: buildTimeConf.cmx -gragrep.cmo: matitaInit.cmi buildTimeConf.cmi gragrep.cmi -gragrep.cmx: matitaInit.cmx buildTimeConf.cmx gragrep.cmi -matitaclean.cmo: matitaInit.cmi matitaclean.cmi -matitaclean.cmx: matitaInit.cmx matitaclean.cmi -matitacLib.cmo: matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \ - buildTimeConf.cmi matitacLib.cmi -matitacLib.cmx: matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \ - buildTimeConf.cmx matitacLib.cmi -matitac.cmo: matitamake.cmi matitadep.cmi matitaclean.cmi matitacLib.cmi \ - gragrep.cmi -matitac.cmx: matitamake.cmx matitadep.cmx matitaclean.cmx matitacLib.cmx \ - gragrep.cmx -matitadep.cmo: matitaInit.cmi matitadep.cmi -matitadep.cmx: matitaInit.cmx matitadep.cmi -matitaEngine.cmo: matitaEngine.cmi -matitaEngine.cmx: matitaEngine.cmi -matitaExcPp.cmo: matitaExcPp.cmi -matitaExcPp.cmx: matitaExcPp.cmi -matitaGeneratedGui.cmo: matitaGeneratedGui.cmi -matitaGeneratedGui.cmx: matitaGeneratedGui.cmi -matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmi matitaGtkMisc.cmi -matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx matitaGtkMisc.cmi -matitaGui.cmo: matitamakeLib.cmi matitaTypes.cmi matitaScript.cmi \ - matitaMisc.cmi matitaMathView.cmi matitaGtkMisc.cmi \ - matitaGeneratedGui.cmi matitaExcPp.cmi buildTimeConf.cmi matitaGui.cmi -matitaGui.cmx: matitamakeLib.cmx matitaTypes.cmx matitaScript.cmx \ - matitaMisc.cmx matitaMathView.cmx matitaGtkMisc.cmx \ - matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi -matitaInit.cmo: matitamakeLib.cmi buildTimeConf.cmi matitaInit.cmi -matitaInit.cmx: matitamakeLib.cmx buildTimeConf.cmx matitaInit.cmi -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 buildTimeConf.cmi \ - applyTransformation.cmi matitaMathView.cmi -matitaMathView.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \ - matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.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 \ - matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi buildTimeConf.cmi -matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx \ - matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx -matitaScript.cmo: matitamakeLib.cmi matitaTypes.cmi matitaMisc.cmi \ - matitaEngine.cmi buildTimeConf.cmi matitaScript.cmi -matitaScript.cmx: matitamakeLib.cmx matitaTypes.cmx matitaMisc.cmx \ - matitaEngine.cmx buildTimeConf.cmx matitaScript.cmi -matitaTypes.cmo: matitaTypes.cmi -matitaTypes.cmx: matitaTypes.cmi -matitaGtkMisc.cmi: matitaGeneratedGui.cmi -matitaGui.cmi: matitaGuiTypes.cmi -matitaGuiTypes.cmi: matitaTypes.cmi matitaGeneratedGui.cmi -matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi -matitaScript.cmi: matitaTypes.cmi +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 +lablGraphviz.cmx : lablGraphviz.cmi +matitaAutoGui.cmo : matitaGtkMisc.cmi buildTimeConf.cmo \ + applyTransformation.cmi matitaAutoGui.cmi +matitaAutoGui.cmx : matitaGtkMisc.cmx buildTimeConf.cmx \ + applyTransformation.cmx matitaAutoGui.cmi +matitaclean.cmo : matitaMisc.cmi matitaInit.cmi matitaclean.cmi +matitaclean.cmx : matitaMisc.cmx matitaInit.cmx matitaclean.cmi +matitacLib.cmo : matitaMisc.cmi matitaExcPp.cmi matitaEngine.cmi \ + buildTimeConf.cmo applyTransformation.cmi matitacLib.cmi +matitacLib.cmx : matitaMisc.cmx matitaExcPp.cmx matitaEngine.cmx \ + buildTimeConf.cmx applyTransformation.cmx matitacLib.cmi +matitac.cmo : matitadep.cmi matitaclean.cmi matitacLib.cmi matitaWiki.cmo \ + matitaMisc.cmi matitaInit.cmi +matitac.cmx : matitadep.cmx matitaclean.cmx matitacLib.cmx matitaWiki.cmx \ + matitaMisc.cmx matitaInit.cmx +matitadep.cmo : matitaMisc.cmi matitaInit.cmi matitadep.cmi +matitadep.cmx : matitaMisc.cmx matitaInit.cmx matitadep.cmi +matitaEngine.cmo : applyTransformation.cmi matitaEngine.cmi +matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi +matitaExcPp.cmo : matitaEngine.cmi matitaExcPp.cmi +matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi +matitaGtkMisc.cmo : matitaTypes.cmi buildTimeConf.cmo matitaGtkMisc.cmi +matitaGtkMisc.cmx : matitaTypes.cmx buildTimeConf.cmx matitaGtkMisc.cmi +matitaGui.cmo : virtuals.cmi matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \ + matitaMathView.cmi matitaGtkMisc.cmi matitaExcPp.cmi matitaAutoGui.cmi \ + buildTimeConf.cmo matitaGui.cmi +matitaGui.cmx : virtuals.cmx matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \ + matitaMathView.cmx matitaGtkMisc.cmx matitaExcPp.cmx matitaAutoGui.cmx \ + buildTimeConf.cmx matitaGui.cmi +matitaInit.cmo : matitaExcPp.cmi buildTimeConf.cmo matitaInit.cmi +matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi +matitaMathView.cmo : virtuals.cmi matitaTypes.cmi matitaScript.cmi \ + matitaMisc.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi \ + lablGraphviz.cmi buildTimeConf.cmo applyTransformation.cmi \ + matitaMathView.cmi +matitaMathView.cmx : virtuals.cmx matitaTypes.cmx matitaScript.cmx \ + matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \ + lablGraphviz.cmx buildTimeConf.cmx applyTransformation.cmx \ + matitaMathView.cmi +matitaMisc.cmo : buildTimeConf.cmo matitaMisc.cmi +matitaMisc.cmx : buildTimeConf.cmx matitaMisc.cmi +matita.cmo : predefined_virtuals.cmi matitaTypes.cmi matitaScript.cmi \ + matitaMathView.cmi matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi \ + buildTimeConf.cmo applyTransformation.cmi +matita.cmx : predefined_virtuals.cmx matitaTypes.cmx matitaScript.cmx \ + matitaMathView.cmx matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx \ + buildTimeConf.cmx applyTransformation.cmx +matitaScript.cmo : virtuals.cmi matitacLib.cmi matitaTypes.cmi \ + matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmo \ + applyTransformation.cmi matitaScript.cmi +matitaScript.cmx : virtuals.cmx matitacLib.cmx matitaTypes.cmx \ + matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx \ + applyTransformation.cmx matitaScript.cmi +matitaTypes.cmo : matitaTypes.cmi +matitaTypes.cmx : matitaTypes.cmi +matitaWiki.cmo : matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \ + buildTimeConf.cmo applyTransformation.cmi +matitaWiki.cmx : matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \ + buildTimeConf.cmx applyTransformation.cmx +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 : +matitaGui.cmi : matitaGuiTypes.cmi +matitaGuiTypes.cmi : matitaTypes.cmi +matitaInit.cmi : +matitaMathView.cmi : matitaTypes.cmi matitaGuiTypes.cmi +matitaMisc.cmi : +matitaScript.cmi : matitaTypes.cmi +matitaTypes.cmi : +predefined_virtuals.cmi : +virtuals.cmi :