Thu, 30 Jul 2015 11:32:58 +0200 | wenzelm | provide CharSequence operations as well; | file | diff | annotate |
Thu, 20 Feb 2014 14:36:17 +0100 | wenzelm | tuned imports; | file | diff | annotate |
Mon, 18 Nov 2013 22:06:08 +0100 | wenzelm | persistent value; | file | diff | annotate |
Sat, 16 Nov 2013 12:41:16 +0100 | wenzelm | prefer UTF8.decode_permissive; | file | diff | annotate |
Fri, 15 Nov 2013 19:31:10 +0100 | wenzelm | more specific Protocol_Output: empty message.body, main content via bytes/text; | file | diff | annotate |
Thu, 14 Nov 2013 17:17:57 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Thu, 14 Nov 2013 16:55:32 +0100 | wenzelm | immutable byte vectors versus UTF8 strings; | file | diff | annotate |