Mon, 01 Mar 2021 19:41:52 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
Thu, 11 Jun 2020 14:13:04 +0200 | wenzelm | proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310; | file | diff | annotate |
Sun, 12 Mar 2017 14:23:38 +0100 | wenzelm | discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16; | file | diff | annotate |
Wed, 28 Dec 2016 17:10:09 +0100 | wenzelm | clarified modules; | file | diff | annotate |
Tue, 20 Dec 2016 16:08:02 +0100 | wenzelm | more systematic text length wrt. encoding; | file | diff | annotate |
Tue, 20 Dec 2016 10:44:36 +0100 | wenzelm | more systematic text length; | file | diff | annotate |
Tue, 20 Dec 2016 08:53:26 +0100 | wenzelm | clarified modules; | file | diff | annotate |