]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtkmathview/.depend
Tactic discriminate activated in matita.
[helm.git] / helm / DEVEL / lablgtkmathview / .depend
1 gMathViewAux.cmo: gMathView.cmi gMathViewAux.cmi 
2 gMathViewAux.cmx: gMathView.cmx gMathViewAux.cmi 
3 gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo gMathView.cmi 
4 gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx gMathView.cmi 
5 gtkMathView.cmo: gtkMathViewProps.cmo gtk_mathview.cmo 
6 gtkMathView.cmx: gtkMathViewProps.cmx gtk_mathview.cmx 
7 gtkMathViewProps.cmo: gtk_mathview.cmo 
8 gtkMathViewProps.cmx: gtk_mathview.cmx 
9 ogtkMathViewProps.cmo: gtkMathViewProps.cmo 
10 ogtkMathViewProps.cmx: gtkMathViewProps.cmx 
11 gMathViewAux.cmi: gMathView.cmi gtk_mathview.cmo 
12 gMathView.cmi: gtk_mathview.cmo