From ece327b29449e1fada4dc5865cb5dae2738ef2c3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 2 Nov 2005 17:34:03 +0000 Subject: [PATCH] rebuilt --- helm/matita/.depend | 56 ++++++++++++++++++++++----------------------- 1 file changed, 28 insertions(+), 28 deletions(-) diff --git a/helm/matita/.depend b/helm/matita/.depend index 65cdb1bf4..d4bad9404 100644 --- a/helm/matita/.depend +++ b/helm/matita/.depend @@ -1,13 +1,25 @@ dump_moo.cmo: matitaMoo.cmi matitaLog.cmi buildTimeConf.cmo dump_moo.cmx: matitaMoo.cmx matitaLog.cmx buildTimeConf.cmx -matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \ - matitaMathView.cmi matitaLog.cmi matitaInit.cmi matitaGui.cmi \ - matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmo -matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \ - matitaMathView.cmx matitaLog.cmx matitaInit.cmx matitaGui.cmx \ - matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx +matitacleanLib.cmo: matitaSync.cmi matitaMoo.cmi matitaMisc.cmi matitaLog.cmi \ + matitaDb.cmi matitacleanLib.cmi +matitacleanLib.cmx: matitaSync.cmx matitaMoo.cmx matitaMisc.cmx matitaLog.cmx \ + matitaDb.cmx matitacleanLib.cmi +matitaclean.cmo: matitacleanLib.cmi matitaMisc.cmi matitaLog.cmi \ + matitaInit.cmi matitaDb.cmi +matitaclean.cmx: matitacleanLib.cmx matitaMisc.cmx matitaLog.cmx \ + matitaInit.cmx matitaDb.cmx +matitacLib.cmo: matitacleanLib.cmi matitaTypes.cmi matitaMoo.cmi \ + matitaMisc.cmi matitaLog.cmi matitaInit.cmi matitaExcPp.cmi \ + matitaEngine.cmi matitaDb.cmi buildTimeConf.cmo matitacLib.cmi +matitacLib.cmx: matitacleanLib.cmx matitaTypes.cmx matitaMoo.cmx \ + matitaMisc.cmx matitaLog.cmx matitaInit.cmx matitaExcPp.cmx \ + matitaEngine.cmx matitaDb.cmx buildTimeConf.cmx matitacLib.cmi +matitac.cmo: matitacLib.cmi +matitac.cmx: matitacLib.cmx matitaDb.cmo: matitaMisc.cmi matitaDb.cmi matitaDb.cmx: matitaMisc.cmx matitaDb.cmi +matitadep.cmo: matitaMisc.cmi matitaLog.cmi matitaInit.cmi +matitadep.cmx: matitaMisc.cmx matitaLog.cmx matitaInit.cmx matitaDisambiguator.cmo: matitaTypes.cmi matitaDisambiguator.cmi matitaDisambiguator.cmx: matitaTypes.cmx matitaDisambiguator.cmi matitaEngine.cmo: matitacleanLib.cmi matitaTypes.cmi matitaSync.cmi \ @@ -36,6 +48,10 @@ 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 @@ -46,6 +62,12 @@ matitaMisc.cmo: matitaTypes.cmi matitaLog.cmi matitaExcPp.cmi \ buildTimeConf.cmo matitaMisc.cmi matitaMisc.cmx: matitaTypes.cmx matitaLog.cmx matitaExcPp.cmx \ buildTimeConf.cmx matitaMisc.cmi +matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \ + matitaMathView.cmi matitaLog.cmi matitaInit.cmi matitaGui.cmi \ + matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmo +matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \ + matitaMathView.cmx matitaLog.cmx matitaInit.cmx matitaGui.cmx \ + matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx matitaMoo.cmo: matitaTypes.cmi matitaMoo.cmi matitaMoo.cmx: matitaTypes.cmx matitaMoo.cmi matitaScript.cmo: matitamakeLib.cmi matitacleanLib.cmi matitaTypes.cmi \ @@ -60,28 +82,6 @@ matitaSync.cmx: matitaTypes.cmx matitaMisc.cmx matitaLog.cmx matitaDb.cmx \ matitaSync.cmi matitaTypes.cmo: matitaLog.cmi matitaTypes.cmi matitaTypes.cmx: matitaLog.cmx matitaTypes.cmi -matitac.cmo: matitacLib.cmi -matitac.cmx: matitacLib.cmx -matitacLib.cmo: matitacleanLib.cmi matitaTypes.cmi matitaMoo.cmi \ - matitaMisc.cmi matitaLog.cmi matitaInit.cmi matitaExcPp.cmi \ - matitaEngine.cmi matitaDb.cmi buildTimeConf.cmo matitacLib.cmi -matitacLib.cmx: matitacleanLib.cmx matitaTypes.cmx matitaMoo.cmx \ - matitaMisc.cmx matitaLog.cmx matitaInit.cmx matitaExcPp.cmx \ - matitaEngine.cmx matitaDb.cmx buildTimeConf.cmx matitacLib.cmi -matitaclean.cmo: matitacleanLib.cmi matitaMisc.cmi matitaLog.cmi \ - matitaInit.cmi matitaDb.cmi -matitaclean.cmx: matitacleanLib.cmx matitaMisc.cmx matitaLog.cmx \ - matitaInit.cmx matitaDb.cmx -matitacleanLib.cmo: matitaSync.cmi matitaMoo.cmi matitaMisc.cmi matitaLog.cmi \ - matitaDb.cmi matitacleanLib.cmi -matitacleanLib.cmx: matitaSync.cmx matitaMoo.cmx matitaMisc.cmx matitaLog.cmx \ - matitaDb.cmx matitacleanLib.cmi -matitadep.cmo: matitaMisc.cmi matitaLog.cmi matitaInit.cmi -matitadep.cmx: matitaMisc.cmx matitaLog.cmx matitaInit.cmx -matitamake.cmo: matitamakeLib.cmi matitaInit.cmi -matitamake.cmx: matitamakeLib.cmx matitaInit.cmx -matitamakeLib.cmo: matitaLog.cmi buildTimeConf.cmo matitamakeLib.cmi -matitamakeLib.cmx: matitaLog.cmx buildTimeConf.cmx matitamakeLib.cmi matitaDisambiguator.cmi: matitaTypes.cmi matitaEngine.cmi: matitaTypes.cmi matitaGtkMisc.cmi: matitaGeneratedGui.cmi -- 2.39.2