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 |