snapshot

[helm.git] / helm / matita / .depend

diff --git a/helm/matita/.depend b/helm/matita/.depend
index 8d7e4e7b977dd3c33d27dd69a35e74ae770553f3..0034c0c4ac4ca77bdb76b1af2e7d032fc5c5b538 100644 (file)
--- a/helm/matita/.depend
+++ b/helm/matita/.depend
@@ -1,3 +1,5 @@
+logicalOperations.cmo: logicalOperations.cmi 
+logicalOperations.cmx: logicalOperations.cmi 
 matitaConsole.cmo: matitaConsole.cmi 
 matitaConsole.cmx: matitaConsole.cmi 
 matitaDisambiguator.cmo: matitaTypes.cmo matitaDisambiguator.cmi 
@@ -14,6 +16,8 @@ matitaInterpreter.cmo: matitaConsole.cmi matitaProof.cmi matitaTypes.cmo \
     matitaInterpreter.cmi 
 matitaInterpreter.cmx: matitaConsole.cmx matitaProof.cmx matitaTypes.cmx \
     matitaInterpreter.cmi 
+matitaMathView.cmo: matitaTypes.cmo matitaMathView.cmi 
+matitaMathView.cmx: matitaTypes.cmx matitaMathView.cmi 
 matita.cmo: buildTimeConf.cmo matitaDisambiguator.cmi matitaGtkMisc.cmi \
     matitaGui.cmi matitaInterpreter.cmi matitaProof.cmi matitaTypes.cmo 
 matita.cmx: buildTimeConf.cmx matitaDisambiguator.cmx matitaGtkMisc.cmx \
@@ -22,8 +26,10 @@ matitaProof.cmo: matitaTypes.cmo matitaProof.cmi
 matitaProof.cmx: matitaTypes.cmx matitaProof.cmi 
 matitaTypes.cmo: buildTimeConf.cmo 
 matitaTypes.cmx: buildTimeConf.cmx 
+logicalOperations.cmi: matitaTypes.cmo 
 matitaDisambiguator.cmi: matitaTypes.cmo 
 matitaGtkMisc.cmi: matitaGeneratedGui.cmi matitaTypes.cmo 
 matitaGui.cmi: matitaConsole.cmi matitaGeneratedGui.cmi 
 matitaInterpreter.cmi: matitaConsole.cmi matitaTypes.cmo 
+matitaMathView.cmi: matitaTypes.cmo 
 matitaProof.cmi: matitaTypes.cmo