| Sat, 29 Apr 2017 10:50:48 +0200 | wenzelm | more operations; | file | diff | annotate |
| Thu, 16 Mar 2017 23:26:16 +0100 | wenzelm | clarified signature (again, see also 3ed43cfc8b14); | file | diff | annotate |
| Tue, 28 Feb 2017 17:51:49 +0100 | wenzelm | more operations; | file | diff | annotate |
| Mon, 24 Oct 2016 12:16:12 +0200 | wenzelm | discontinued unused / untested distinction of separate PIDE modules; | file | diff | annotate |
| Sat, 15 Oct 2016 20:47:31 +0200 | wenzelm | more operations; | file | diff | annotate |
| Sat, 15 Oct 2016 15:23:06 +0200 | wenzelm | clarified treatment of non-text bytes; | file | diff | annotate |
| Mon, 03 Oct 2016 12:39:03 +0200 | wenzelm | clarified magic values (see also java/io/BufferedInputStream.java); | file | diff | annotate |