X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2Futf8MacroTable.ml;h=8b4a02e47077d333c182b541d417ed64770b0b4d;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=d825878737ad7f5c5e6cb8b9e6438b282024c4e5;hpb=276f665cc3b2d3a8d501e722b6722f41bbab2381;p=helm.git

diff --git a/helm/ocaml/utf8_macros/utf8MacroTable.ml b/helm/ocaml/utf8_macros/utf8MacroTable.ml
index d82587873..8b4a02e47 100644
--- a/helm/ocaml/utf8_macros/utf8MacroTable.ml
+++ b/helm/ocaml/utf8_macros/utf8MacroTable.ml
@@ -924,6 +924,7 @@ let _ = Hashtbl.replace macro2utf8 "sinh" "sinh"
 let _ = Hashtbl.replace macro2utf8 "lharul" "\226\165\170"
 let _ = Hashtbl.replace macro2utf8 "Jukcy" "\208\132"
 let _ = Hashtbl.replace macro2utf8 "permil" "\226\128\176"
+let _ = Hashtbl.replace macro2utf8 "ndivides" "\226\136\164"
 let _ = Hashtbl.replace macro2utf8 "Aring" "\195\133"
 let _ = Hashtbl.replace macro2utf8 "longmapsto" "????"
 let _ = Hashtbl.replace macro2utf8 "Esim" "\226\169\179"
@@ -1265,7 +1266,7 @@ let _ = Hashtbl.replace macro2utf8 "angzarr" "\226\141\188"
 let _ = Hashtbl.replace macro2utf8 "gel" "\226\139\155"
 let _ = Hashtbl.replace macro2utf8 "ang" "\226\136\160"
 let _ = Hashtbl.replace macro2utf8 "lor" "\226\136\168"
-let _ = Hashtbl.replace macro2utf8 "circ" "^"
+let _ = Hashtbl.replace macro2utf8 "circ" "\226\136\152"
 let _ = Hashtbl.replace macro2utf8 "upharpoonright" "\226\134\190"
 let _ = Hashtbl.replace macro2utf8 "dblac" "\203\157"
 let _ = Hashtbl.replace macro2utf8 "subsetneqq" "\226\138\138"
@@ -1473,6 +1474,7 @@ let _ = Hashtbl.replace macro2utf8 "DiacriticalDot" "\203\153"
 let _ = Hashtbl.replace macro2utf8 "Poincareplane" "\226\132\140"
 let _ = Hashtbl.replace macro2utf8 "curlyeqsucc" "\226\139\159"
 let _ = Hashtbl.replace macro2utf8 "Equal" "\226\169\181"
+let _ = Hashtbl.replace macro2utf8 "divides" "\226\136\163"
 let _ = Hashtbl.replace macro2utf8 "scpolint" "\226\168\147"
 let _ = Hashtbl.replace macro2utf8 "ngsim" "\226\137\181"
 let _ = Hashtbl.replace macro2utf8 "larrbfs" "\226\164\159"
@@ -1953,7 +1955,6 @@ let _ = Hashtbl.replace macro2utf8 "sqsup" "\226\138\144"
 let _ = Hashtbl.replace macro2utf8 "boxVH" "\226\149\172"
 let _ = Hashtbl.replace macro2utf8 "bbrk" "\226\142\181"
 let _ = Hashtbl.replace macro2utf8 "tau" "\207\132"
-let _ = Hashtbl.replace macro2utf8 "sub" "\226\138\130"
 let _ = Hashtbl.replace macro2utf8 "UpTee" "\226\138\165"
 let _ = Hashtbl.replace macro2utf8 "NotLeftTriangleBar" "\226\167\143\204\184"
 let _ = Hashtbl.replace macro2utf8 "boxVL" "\226\149\163"
@@ -1973,7 +1974,6 @@ let _ = Hashtbl.replace macro2utf8 "cir" "\226\151\139"
 let _ = Hashtbl.replace macro2utf8 "telrec" "\226\140\149"
 let _ = Hashtbl.replace macro2utf8 "Mfr" "\240\157\148\144"
 let _ = Hashtbl.replace macro2utf8 "dHar" "\226\165\165"
-let _ = Hashtbl.replace macro2utf8 "sup" "\226\138\131"
 let _ = Hashtbl.replace macro2utf8 "boxUl" "\226\149\156"
 let _ = Hashtbl.replace macro2utf8 "apid" "\226\137\139"
 let _ = Hashtbl.replace macro2utf8 "nleftarrow" "\226\134\154"
@@ -2519,7 +2519,7 @@ let _ = Hashtbl.replace utf82macro "\226\136\151" "lowast"
 let _ = Hashtbl.replace utf82macro "\226\134\189" "lhard"
 let _ = Hashtbl.replace utf82macro "\226\134\190" "upharpoonright"
 let _ = Hashtbl.replace utf82macro "\226\137\133" "cong"
-let _ = Hashtbl.replace utf82macro "\226\136\152" "SmallCircle"
+let _ = Hashtbl.replace utf82macro "\226\136\152" "circ"
 let _ = Hashtbl.replace utf82macro "\226\137\134" "simne"
 let _ = Hashtbl.replace utf82macro "\226\134\191" "upharpoonleft"
 let _ = Hashtbl.replace utf82macro "\226\136\154" "Sqrt"
@@ -2539,9 +2539,9 @@ let _ = Hashtbl.replace utf82macro "\226\136\161" "measuredangle"
 let _ = Hashtbl.replace utf82macro "\226\135\181" "duarr"
 let _ = Hashtbl.replace utf82macro "\226\137\143" "HumpEqual"
 let _ = Hashtbl.replace utf82macro "\226\136\162" "angsph"
-let _ = Hashtbl.replace utf82macro "\226\136\163" "mid"
+let _ = Hashtbl.replace utf82macro "\226\136\163" "divides"
 let _ = Hashtbl.replace utf82macro "\226\137\144" "doteq"
-let _ = Hashtbl.replace utf82macro "\226\136\164" "NotVerticalBar"
+let _ = Hashtbl.replace utf82macro "\226\136\164" "ndivides"
 let _ = Hashtbl.replace utf82macro "\226\137\145" "eDot"
 let _ = Hashtbl.replace utf82macro "\226\137\146" "fallingdotseq"
 let _ = Hashtbl.replace utf82macro "\226\136\165" "parallel"