Added \uXXXX escape codes, encoded according to UTF-8.
-rw-r--r-- 21 .gitignore
-rw-r--r-- 267 Makefile
-rw-r--r-- 12446 format.adb
-rw-r--r-- 2154 format.ads
-rw-r--r-- 254 main.adb