From f9e650699d445a635ddfa05e84e51cd4c3eb019e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 3 Feb 2005 10:43:22 +0000 Subject: [PATCH] rebuilt --- helm/matita/.depend | 26 ++++++++++++++------------ 1 file changed, 14 insertions(+), 12 deletions(-) diff --git a/helm/matita/.depend b/helm/matita/.depend index 66e9b07a5..53ee0197f 100644 --- a/helm/matita/.depend +++ b/helm/matita/.depend @@ -1,9 +1,9 @@ matitaCicMisc.cmo: matitaTypes.cmi matitaCicMisc.cmi matitaCicMisc.cmx: matitaTypes.cmx matitaCicMisc.cmi -matitac.cmo: matitaTypes.cmi matitaProof.cmi matitaInterpreter.cmi \ - matitaDisambiguator.cmi buildTimeConf.cmo -matitac.cmx: matitaTypes.cmx matitaProof.cmx matitaInterpreter.cmx \ - matitaDisambiguator.cmx buildTimeConf.cmx +matitac.cmo: matitaTypes.cmi matitaInterpreter.cmi matitaDisambiguator.cmi \ + buildTimeConf.cmo +matitac.cmx: matitaTypes.cmx matitaInterpreter.cmx matitaDisambiguator.cmx \ + buildTimeConf.cmx matitaConsole.cmo: matitaTypes.cmi matitaMisc.cmi matitaGtkMisc.cmi \ buildTimeConf.cmo matitaConsole.cmi matitaConsole.cmx: matitaTypes.cmx matitaMisc.cmx matitaGtkMisc.cmx \ @@ -18,14 +18,16 @@ 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 matitaCicMisc.cmi \ - matitaInterpreter.cmi -matitaInterpreter.cmx: matitaTypes.cmx matitaProof.cmx matitaCicMisc.cmx \ - matitaInterpreter.cmi -matitaMathView.cmo: matitaTypes.cmi matitaMisc.cmi matitaGui.cmi \ - matitaGtkMisc.cmi matitaCicMisc.cmi buildTimeConf.cmo matitaMathView.cmi -matitaMathView.cmx: matitaTypes.cmx matitaMisc.cmx matitaGui.cmx \ - matitaGtkMisc.cmx matitaCicMisc.cmx buildTimeConf.cmx matitaMathView.cmi +matitaInterpreter.cmo: matitaTypes.cmi matitaProof.cmi matitaMisc.cmi \ + matitaCicMisc.cmi matitaInterpreter.cmi +matitaInterpreter.cmx: matitaTypes.cmx matitaProof.cmx matitaMisc.cmx \ + matitaCicMisc.cmx matitaInterpreter.cmi +matitaMathView.cmo: matitaTypes.cmi matitaProof.cmi matitaMisc.cmi \ + matitaGui.cmi matitaGtkMisc.cmi matitaCicMisc.cmi buildTimeConf.cmo \ + matitaMathView.cmi +matitaMathView.cmx: matitaTypes.cmx matitaProof.cmx matitaMisc.cmx \ + matitaGui.cmx matitaGtkMisc.cmx matitaCicMisc.cmx buildTimeConf.cmx \ + matitaMathView.cmi matitaMisc.cmo: buildTimeConf.cmo matitaMisc.cmi matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi matita.cmo: matitaTypes.cmi matitaProof.cmi matitaMisc.cmi matitaMathView.cmi \ -- 2.39.2