matita/components/grafite/.depend

   1 grafiteAst.cmo :
   2 grafiteAst.cmx :
   3 grafiteAstPp.cmo : \
   4     grafiteAst.cmo \
   5     grafiteAstPp.cmi
   6 grafiteAstPp.cmx : \
   7     grafiteAst.cmx \
   8     grafiteAstPp.cmi
   9 grafiteAstPp.cmi : \
  10     grafiteAst.cmo