[update 1.3] #13120

13120
-----

Issue 3584: ToDo: remove DisplayText class
Issue 3910: -0.01s2 printString is loosing its sign
Issue 3906: SharedPool should be moved to Kernel
Issue 3905: Delete empty packages

--
Marcus Denker  -- http://www.marcusdenker.de
INRIA Lille -- Nord Europe. Team RMoD.