]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/components/syntax_extensions/.depend
utf8Macro.cmo : \
- utf8MacroTable.cmo \
+ utf8MacroTable.cmi \
utf8Macro.cmi
utf8Macro.cmx : \
utf8MacroTable.cmx \
utf8Macro.cmi
utf8Macro.cmi :
-utf8MacroTable.cmo :
-utf8MacroTable.cmx :
+utf8MacroTable.cmo : \
+ utf8MacroTable.cmi
+utf8MacroTable.cmx : \
+ utf8MacroTable.cmi