X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Futf8_macros%2Fdata%2Fextra-entities.xml;h=73b12ad5e97c7eebbc50209a670339cb98028684;hb=d949710a646496ac795ff86c08057a4fdffe6ef6;hp=dd4f97580cb923584145cbf0893bdc37dfaeb95b;hpb=1bcae23ef41ad2110426eebd97671d27d09213a3;p=helm.git
diff --git a/helm/ocaml/utf8_macros/data/extra-entities.xml b/helm/ocaml/utf8_macros/data/extra-entities.xml
index dd4f97580..73b12ad5e 100644
--- a/helm/ocaml/utf8_macros/data/extra-entities.xml
+++ b/helm/ocaml/utf8_macros/data/extra-entities.xml
@@ -8,6 +8,9 @@
+
+
+