X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fsyntax_extensions%2Futf8MacroTable.mli;fp=matita%2Fcomponents%2Fsyntax_extensions%2Futf8MacroTable.mli;h=b5f51893d742f162d79dffb8ad056f1265a25ad6;hb=6b76c5b3b82753966cabffd8536d8dd9f8cada20;hp=0000000000000000000000000000000000000000;hpb=aa5c8c99c9f7ae285883cff133fc02b3d064888c;p=helm.git

diff --git a/matita/components/syntax_extensions/utf8MacroTable.mli b/matita/components/syntax_extensions/utf8MacroTable.mli
new file mode 100644
index 000000000..b5f51893d
--- /dev/null
+++ b/matita/components/syntax_extensions/utf8MacroTable.mli
@@ -0,0 +1,2 @@
+val macro2utf8 : (string,string) Hashtbl.t
+val utf82macro : (string,string) Hashtbl.t