X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2Fdata%2Fextra-entities.xml;h=73b12ad5e97c7eebbc50209a670339cb98028684;hb=9d4a3a25b327bb2c15bd0cff116ba6698b1a4335;hp=6023f3fbebfd2a6b801c4e69ae78d08f96c816bb;hpb=564d4fe0793c625b9c6be05fa05d5fbb50c61703;p=helm.git
diff --git a/helm/ocaml/utf8_macros/data/extra-entities.xml b/helm/ocaml/utf8_macros/data/extra-entities.xml
index 6023f3fbe..73b12ad5e 100644
--- a/helm/ocaml/utf8_macros/data/extra-entities.xml
+++ b/helm/ocaml/utf8_macros/data/extra-entities.xml
@@ -10,6 +10,7 @@
+