matita/components/grafite_parser/.depend

   1 dependenciesParser.cmi:
   2 grafiteParser.cmi:
   3 cicNotation2.cmi:
   4 grafiteDisambiguate.cmi:
   5 print_grammar.cmi:
   6 dependenciesParser.cmo: dependenciesParser.cmi
   7 dependenciesParser.cmx: dependenciesParser.cmi
   8 grafiteParser.cmo: grafiteParser.cmi
   9 grafiteParser.cmx: grafiteParser.cmi
  10 cicNotation2.cmo: grafiteParser.cmi cicNotation2.cmi
  11 cicNotation2.cmx: grafiteParser.cmx cicNotation2.cmi
  12 grafiteDisambiguate.cmo: grafiteDisambiguate.cmi
  13 grafiteDisambiguate.cmx: grafiteDisambiguate.cmi
  14 print_grammar.cmo: print_grammar.cmi
  15 print_grammar.cmx: print_grammar.cmi