| Sun, 06 Mar 2016 11:59:35 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 16 Nov 2013 12:41:16 +0100 | wenzelm | prefer UTF8.decode_permissive; | file | diff | annotate |
| Thu, 14 Nov 2013 17:17:57 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 25 Nov 2012 20:17:04 +0100 | wenzelm | explicit module UTF8; | file | diff | annotate |