]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtkmathview/.depend
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtkmathview / .depend
1 gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo gMathView.cmi 
2 gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx gMathView.cmi 
3 gMathViewAux.cmo: gMathView.cmi gtkMathView.cmo gtk_mathview.cmo \
4     gMathViewAux.cmi 
5 gMathViewAux.cmx: gMathView.cmx gtkMathView.cmx gtk_mathview.cmx \
6     gMathViewAux.cmi 
7 gtkMathView.cmo: gtk_mathview.cmo 
8 gtkMathView.cmx: gtk_mathview.cmx 
9 gMathView.cmi: gtk_mathview.cmo 
10 gMathViewAux.cmi: gMathView.cmi