| Thu, 30 Aug 2018 17:24:43 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 28 Aug 2018 21:08:05 +0200 | wenzelm | systematic access to command ids; | file | diff | annotate |
| Tue, 31 Jul 2018 21:06:09 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 25 Jun 2018 17:18:55 +0200 | wenzelm | more scalable output; | file | diff | annotate |
| Mon, 11 Jun 2018 17:37:44 +0200 | wenzelm | clarified signature: persistent results; | file | diff | annotate |
| Tue, 05 Jun 2018 16:12:26 +0200 | wenzelm | less wasteful consolidation, based on PIDE front-end state and recent changes; | file | diff | annotate |