+++ /dev/null
-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
-gMathViewAux.cmi: gMathView.cmi gtk_mathview.cmo
-gMathView.cmi: gtk_mathview.cmo