]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/.depend
ocaml 3.09 transition
[helm.git] / helm / DEVEL / lablgtkmathview / .depend
index 186c66f3a40396299c4a496bac0adc6e5be14676..23cd75664dc47faef375c882cdaf896784a528c0 100644 (file)
@@ -1,14 +1,12 @@
-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 
+gMathViewAux.cmo: gMathView.cmi gMathViewAux.cmi 
+gMathViewAux.cmx: gMathView.cmx gMathViewAux.cmi 
+gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo gMathView.cmi 
+gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx gMathView.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 gtk_mathview.cmo 
+gMathView.cmi: gtk_mathview.cmo