matita.cs.unibo.it Git - helm.git/blob - components/syntax_extensions/.depend.opt

]> matita.cs.unibo.it Git - helm.git/blob - components/syntax_extensions/.depend.opt

projects / helm.git / blob

c0cd9c9069420ca3c124fdf3a0f152838c5d121e

[helm.git] / components / syntax_extensions / .depend.opt

1 utf8Macro.cmo: utf8MacroTable.cmx utf8Macro.cmi

2 utf8Macro.cmx: utf8MacroTable.cmx utf8Macro.cmi

Unnamed repository; edit this file 'description' to name the repository.