matita/components/grafite_parser/.depend

   1 grafiteParser.cmo : \
   2     grafiteParser.cmi
   3 grafiteParser.cmx : \
   4     grafiteParser.cmi
   5 grafiteParser.cmi :
   6 print_grammar.cmo : \
   7     print_grammar.cmi
   8 print_grammar.cmx : \
   9     print_grammar.cmi
  10 print_grammar.cmi : \
  11     grafiteParser.cmi