]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/.depend
gMathView.mli added
[helm.git] / helm / DEVEL / lablgtkmathview / .depend
index 600449bb84bf94801db71481cfc8029f9965840c..3edb819d088f2e6f2cf4be7b9094a0726995d5b4 100644 (file)
@@ -1,4 +1,5 @@
-gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo 
-gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx 
+gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo gMathView.cmi 
+gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx gMathView.cmi 
 gtkMathView.cmo: gtk_mathview.cmo 
 gtkMathView.cmx: gtk_mathview.cmx 
+gMathView.cmi: gtk_mathview.cmo