X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2F.depend;h=186c66f3a40396299c4a496bac0adc6e5be14676;hb=3bb4ce11fb9d4c6375483a80344beb94c4517dd7;hp=9d1c6ed82e130d13ef06a6cb970ce5deb44796e7;hpb=e7bcb20821caa3e03bf1b77a7e9f329aeaacab07;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/.depend b/helm/DEVEL/lablgtkmathview/.depend
index 9d1c6ed82..186c66f3a 100644
--- a/helm/DEVEL/lablgtkmathview/.depend
+++ b/helm/DEVEL/lablgtkmathview/.depend
@@ -1,10 +1,14 @@
-gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo gMathView.cmi 
-gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx gMathView.cmi 
-gMathViewAux.cmo: gMathView.cmi gtkMathView.cmo gtk_mathview.cmo \
-    gMathViewAux.cmi 
-gMathViewAux.cmx: gMathView.cmx gtkMathView.cmx gtk_mathview.cmx \
-    gMathViewAux.cmi 
-gtkMathView.cmo: gtk_mathview.cmo 
-gtkMathView.cmx: gtk_mathview.cmx 
+gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo ogtkMathViewProps.cmo \
+    gMathView.cmi 
+gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx ogtkMathViewProps.cmx \
+    gMathView.cmi 
+gMathViewAux.cmo: gMathView.cmi gtkMathView.cmo gMathViewAux.cmi 
+gMathViewAux.cmx: gMathView.cmx gtkMathView.cmx gMathViewAux.cmi 
+gtkMathView.cmo: gtkMathViewProps.cmo gtk_mathview.cmo 
+gtkMathView.cmx: gtkMathViewProps.cmx gtk_mathview.cmx 
+gtkMathViewProps.cmo: gtk_mathview.cmo 
+gtkMathViewProps.cmx: gtk_mathview.cmx 
+ogtkMathViewProps.cmo: gtkMathViewProps.cmo 
+ogtkMathViewProps.cmx: gtkMathViewProps.cmx 
 gMathView.cmi: gtk_mathview.cmo 
-gMathViewAux.cmi: gMathView.cmi 
+gMathViewAux.cmi: gMathView.cmi gtk_mathview.cmo