]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtkmathview/.depend
Bug fixed: when an axiom was asked, an exception was raised (since the
[helm.git] / helm / DEVEL / lablgtkmathview / .depend
1 gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo ogtkMathViewProps.cmo \
2     gMathView.cmi 
3 gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx ogtkMathViewProps.cmx \
4     gMathView.cmi 
5 gMathViewAux.cmo: gMathView.cmi gtkMathView.cmo gMathViewAux.cmi 
6 gMathViewAux.cmx: gMathView.cmx gtkMathView.cmx gMathViewAux.cmi 
7 gtkMathView.cmo: gtkMathViewProps.cmo gtk_mathview.cmo 
8 gtkMathView.cmx: gtkMathViewProps.cmx gtk_mathview.cmx 
9 gtkMathViewProps.cmo: gtk_mathview.cmo 
10 gtkMathViewProps.cmx: gtk_mathview.cmx 
11 ogtkMathViewProps.cmo: gtkMathViewProps.cmo 
12 ogtkMathViewProps.cmx: gtkMathViewProps.cmx 
13 gMathView.cmi: gtk_mathview.cmo 
14 gMathViewAux.cmi: gMathView.cmi gtk_mathview.cmo