matita/components/content/.depend

   1 content.cmo : \
   2     content.cmi
   3 content.cmx : \
   4     content.cmi
   5 content.cmi :
   6 notationEnv.cmo : \
   7     notationUtil.cmi \
   8     notationPt.cmo \
   9     notationEnv.cmi
  10 notationEnv.cmx : \
  11     notationUtil.cmx \
  12     notationPt.cmx \
  13     notationEnv.cmi
  14 notationEnv.cmi : \
  15     notationPt.cmo
  16 notationPp.cmo : \
  17     notationPt.cmo \
  18     notationEnv.cmi \
  19     notationPp.cmi
  20 notationPp.cmx : \
  21     notationPt.cmx \
  22     notationEnv.cmx \
  23     notationPp.cmi
  24 notationPp.cmi : \
  25     notationPt.cmo \
  26     notationEnv.cmi
  27 notationPt.cmo :
  28 notationPt.cmx :
  29 notationUtil.cmo : \
  30     notationPt.cmo \
  31     notationUtil.cmi
  32 notationUtil.cmx : \
  33     notationPt.cmx \
  34     notationUtil.cmi
  35 notationUtil.cmi : \
  36     notationPt.cmo