Ivan Denisov 2cc8d25c5f remove unicode operations from Strings 5 anni fa
..
Docu b482b203c2 reduce using of Kernel and Strings for unicode conversions, introduce module Unicode, rename Utf8 to Utf 5 anni fa
Mod 2cc8d25c5f remove unicode operations from Strings 5 anni fa