gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo 
gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx 
gtkMathView.cmo: gtk_mathview.cmo 
gtkMathView.cmx: gtk_mathview.cmx