X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2F.depend;h=ff2e6c9355691637f4994f329460d359c10c7089;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=10df1a74c15de0f3cc2c80dd6502e012b023feb1;hpb=ea7bbed2ecc52aaf280d7bd5a0506908fb87b834;p=helm.git diff --git a/helm/matita/.depend b/helm/matita/.depend index 10df1a74c..ff2e6c935 100644 --- a/helm/matita/.depend +++ b/helm/matita/.depend @@ -1,56 +1,95 @@ -matita.cmo: matitaTypes.cmi matitaProof.cmi matitaMisc.cmi matitaMathView.cmi \ - matitaInterpreter.cmi matitaGui.cmi matitaGtkMisc.cmi \ - matitaDisambiguator.cmi matitaDb.cmi buildTimeConf.cmo -matita.cmx: matitaTypes.cmx matitaProof.cmx matitaMisc.cmx matitaMathView.cmx \ - matitaInterpreter.cmx matitaGui.cmx matitaGtkMisc.cmx \ - matitaDisambiguator.cmx matitaDb.cmx buildTimeConf.cmx -matitaCicMisc.cmo: matitaTypes.cmi matitaCicMisc.cmi -matitaCicMisc.cmx: matitaTypes.cmx matitaCicMisc.cmi -matitaConsole.cmo: matitaTypes.cmi matitaMisc.cmi matitaGtkMisc.cmi \ - buildTimeConf.cmo matitaConsole.cmi -matitaConsole.cmx: matitaTypes.cmx matitaMisc.cmx matitaGtkMisc.cmx \ - buildTimeConf.cmx matitaConsole.cmi +dump_moo.cmo: matitaMoo.cmi matitaLog.cmi buildTimeConf.cmo +dump_moo.cmx: matitaMoo.cmx matitaLog.cmx buildTimeConf.cmx +matitacleanLib.cmo: matitaSync.cmi matitaMoo.cmi matitaMisc.cmi matitaLog.cmi \ + matitaExcPp.cmi matitaDb.cmi buildTimeConf.cmo matitacleanLib.cmi +matitacleanLib.cmx: matitaSync.cmx matitaMoo.cmx matitaMisc.cmx matitaLog.cmx \ + matitaExcPp.cmx matitaDb.cmx buildTimeConf.cmx matitacleanLib.cmi +matitaclean.cmo: matitacleanLib.cmi matitaMisc.cmi matitaLog.cmi \ + matitaInit.cmi matitaDb.cmi matitaclean.cmi +matitaclean.cmx: matitacleanLib.cmx matitaMisc.cmx matitaLog.cmx \ + matitaInit.cmx matitaDb.cmx matitaclean.cmi +matitacLib.cmo: matitacleanLib.cmi matitaTypes.cmi matitaMoo.cmi \ + matitaLog.cmi matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \ + matitaDb.cmi buildTimeConf.cmo matitacLib.cmi +matitacLib.cmx: matitacleanLib.cmx matitaTypes.cmx matitaMoo.cmx \ + matitaLog.cmx matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \ + matitaDb.cmx buildTimeConf.cmx matitacLib.cmi +matitac.cmo: matitamake.cmo matitadep.cmi matitaclean.cmi matitacLib.cmi +matitac.cmx: matitamake.cmx matitadep.cmx matitaclean.cmx matitacLib.cmx matitaDb.cmo: matitaMisc.cmi matitaDb.cmi matitaDb.cmx: matitaMisc.cmx matitaDb.cmi -matitaDisambiguator.cmo: matitaTypes.cmi matitaMisc.cmi \ - matitaDisambiguator.cmi -matitaDisambiguator.cmx: matitaTypes.cmx matitaMisc.cmx \ - matitaDisambiguator.cmi +matitadep.cmo: matitacleanLib.cmi matitaMisc.cmi matitaLog.cmi matitaInit.cmi \ + matitadep.cmi +matitadep.cmx: matitacleanLib.cmx matitaMisc.cmx matitaLog.cmx matitaInit.cmx \ + matitadep.cmi +matitaDisambiguator.cmo: matitaTypes.cmi matitaDisambiguator.cmi +matitaDisambiguator.cmx: matitaTypes.cmx matitaDisambiguator.cmi +matitaEngine.cmo: matitacleanLib.cmi matitaTypes.cmi matitaSync.cmi \ + matitaMoo.cmi matitaMisc.cmi matitaLog.cmi matitaDisambiguator.cmi \ + matitaDb.cmi matitaEngine.cmi +matitaEngine.cmx: matitacleanLib.cmx matitaTypes.cmx matitaSync.cmx \ + matitaMoo.cmx matitaMisc.cmx matitaLog.cmx matitaDisambiguator.cmx \ + matitaDb.cmx matitaEngine.cmi +matitaExcPp.cmo: matitaTypes.cmi matitaMoo.cmi matitaDisambiguator.cmi \ + matitaExcPp.cmi +matitaExcPp.cmx: matitaTypes.cmx matitaMoo.cmx matitaDisambiguator.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: matitaMisc.cmi matitaGtkMisc.cmi matitaGeneratedGui.cmi \ - matitaConsole.cmi buildTimeConf.cmo matitaGui.cmi -matitaGui.cmx: matitaMisc.cmx matitaGtkMisc.cmx matitaGeneratedGui.cmx \ - matitaConsole.cmx buildTimeConf.cmx matitaGui.cmi -matitaInterpreter.cmo: matitaTypes.cmi matitaProof.cmi matitaMisc.cmi \ - matitaDisambiguator.cmi matitaCicMisc.cmi matitaInterpreter.cmi -matitaInterpreter.cmx: matitaTypes.cmx matitaProof.cmx matitaMisc.cmx \ - matitaDisambiguator.cmx matitaCicMisc.cmx matitaInterpreter.cmi -matitaMathView.cmo: matitaTypes.cmi matitaProof.cmi matitaMisc.cmi \ - matitaGui.cmi matitaGtkMisc.cmi matitaDisambiguator.cmi matitaCicMisc.cmi \ +matitaGui.cmo: matitamakeLib.cmi matitacleanLib.cmi matitaTypes.cmi \ + matitaScript.cmi matitaMoo.cmi matitaMisc.cmi matitaMathView.cmi \ + matitaLog.cmi matitaGtkMisc.cmi matitaGeneratedGui.cmi matitaExcPp.cmi \ + matitaDisambiguator.cmi buildTimeConf.cmo matitaGui.cmi +matitaGui.cmx: matitamakeLib.cmx matitacleanLib.cmx matitaTypes.cmx \ + matitaScript.cmx matitaMoo.cmx matitaMisc.cmx matitaMathView.cmx \ + matitaLog.cmx matitaGtkMisc.cmx matitaGeneratedGui.cmx matitaExcPp.cmx \ + matitaDisambiguator.cmx buildTimeConf.cmx matitaGui.cmi +matitaInit.cmo: matitamakeLib.cmi matitaDb.cmi buildTimeConf.cmo \ + matitaInit.cmi +matitaInit.cmx: matitamakeLib.cmx matitaDb.cmx buildTimeConf.cmx \ + matitaInit.cmi +matitaLog.cmo: matitaLog.cmi +matitaLog.cmx: matitaLog.cmi +matitamakeLib.cmo: matitaLog.cmi buildTimeConf.cmo matitamakeLib.cmi +matitamakeLib.cmx: matitaLog.cmx buildTimeConf.cmx matitamakeLib.cmi +matitamake.cmo: matitamakeLib.cmi matitaInit.cmi +matitamake.cmx: matitamakeLib.cmx matitaInit.cmx +matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \ + matitaLog.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi \ buildTimeConf.cmo matitaMathView.cmi -matitaMathView.cmx: matitaTypes.cmx matitaProof.cmx matitaMisc.cmx \ - matitaGui.cmx matitaGtkMisc.cmx matitaDisambiguator.cmx matitaCicMisc.cmx \ +matitaMathView.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \ + matitaLog.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \ buildTimeConf.cmx matitaMathView.cmi -matitaMisc.cmo: buildTimeConf.cmo matitaMisc.cmi -matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi -matitaProof.cmo: matitaTypes.cmi matitaMisc.cmi matitaCicMisc.cmi \ - buildTimeConf.cmo matitaProof.cmi -matitaProof.cmx: matitaTypes.cmx matitaMisc.cmx matitaCicMisc.cmx \ - buildTimeConf.cmx matitaProof.cmi -matitaTypes.cmo: buildTimeConf.cmo matitaTypes.cmi -matitaTypes.cmx: buildTimeConf.cmx matitaTypes.cmi -matitac.cmo: matitaTypes.cmi matitaInterpreter.cmi matitaDb.cmi \ +matitaMisc.cmo: matitaTypes.cmi buildTimeConf.cmo matitaMisc.cmi +matitaMisc.cmx: matitaTypes.cmx buildTimeConf.cmx matitaMisc.cmi +matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi matitaLog.cmi \ + matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi matitaEngine.cmi \ buildTimeConf.cmo -matitac.cmx: matitaTypes.cmx matitaInterpreter.cmx matitaDb.cmx \ +matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx matitaLog.cmx \ + matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx matitaEngine.cmx \ buildTimeConf.cmx -matitaCicMisc.cmi: matitaTypes.cmi -matitaConsole.cmi: matitaTypes.cmi +matitaMoo.cmo: matitaTypes.cmi matitaMoo.cmi +matitaMoo.cmx: matitaTypes.cmx matitaMoo.cmi +matitaScript.cmo: matitamakeLib.cmi matitacleanLib.cmi matitaTypes.cmi \ + matitaSync.cmi matitaMisc.cmi matitaLog.cmi matitaEngine.cmi \ + matitaDisambiguator.cmi matitaDb.cmi buildTimeConf.cmo matitaScript.cmi +matitaScript.cmx: matitamakeLib.cmx matitacleanLib.cmx matitaTypes.cmx \ + matitaSync.cmx matitaMisc.cmx matitaLog.cmx matitaEngine.cmx \ + matitaDisambiguator.cmx matitaDb.cmx buildTimeConf.cmx matitaScript.cmi +matitaSync.cmo: matitaTypes.cmi matitaMisc.cmi matitaLog.cmi matitaDb.cmi \ + matitaSync.cmi +matitaSync.cmx: matitaTypes.cmx matitaMisc.cmx matitaLog.cmx matitaDb.cmx \ + matitaSync.cmi +matitaTypes.cmo: matitaLog.cmi matitaTypes.cmi +matitaTypes.cmx: matitaLog.cmx matitaTypes.cmi matitaDisambiguator.cmi: matitaTypes.cmi -matitaGtkMisc.cmi: matitaTypes.cmi matitaGeneratedGui.cmi -matitaGui.cmi: matitaTypes.cmi matitaGeneratedGui.cmi matitaConsole.cmi -matitaInterpreter.cmi: matitaTypes.cmi -matitaMathView.cmi: matitaTypes.cmi -matitaProof.cmi: matitaTypes.cmi +matitaEngine.cmi: matitaTypes.cmi +matitaGtkMisc.cmi: matitaGeneratedGui.cmi +matitaGui.cmi: matitaGuiTypes.cmi matitaDisambiguator.cmi +matitaGuiTypes.cmi: matitaTypes.cmi matitaLog.cmi matitaGeneratedGui.cmi +matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi +matitaMoo.cmi: matitaTypes.cmi +matitaScript.cmi: matitaTypes.cmi +matitaSync.cmi: matitaTypes.cmi