| Sat, 09 Apr 2016 20:18:15 +0200 | wenzelm | avoid interference with running PIDE protocol; | changeset | files |
| Sat, 09 Apr 2016 20:14:00 +0200 | wenzelm | proper signature for structure; | changeset | files |
| Sat, 09 Apr 2016 20:07:10 +0200 | wenzelm | tuned signature; | changeset | files |