matita/components/syntax_extensions/.depend

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