| Fri, 16 Jun 2017 15:59:27 +0200 | wenzelm | more general dispatcher operations; | file | diff | annotate |
| Mon, 24 Oct 2016 12:16:12 +0200 | wenzelm | discontinued unused / untested distinction of separate PIDE modules; | file | diff | annotate |
| Thu, 04 Feb 2016 21:28:56 +0100 | wenzelm | removed unused cancel operation; | file | diff | annotate |