| Tue, 04 Apr 2017 18:43:58 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 24 Oct 2016 12:16:12 +0200 | wenzelm | discontinued unused / untested distinction of separate PIDE modules; | file | diff | annotate |
| Thu, 08 Jan 2015 20:56:39 +0100 | wenzelm | tuned; | file | diff | annotate |