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 |
Mon, 24 Oct 2016 12:16:12 +0200 | wenzelm | discontinued unused / untested distinction of separate PIDE modules; | file | diff | annotate |
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 |