| Sat, 18 Mar 2017 20:57:15 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 18 Mar 2017 20:51:42 +0100 | wenzelm | more realistic PIDE build session; | changeset | files |
| Sat, 18 Mar 2017 20:35:58 +0100 | wenzelm | more uniform options; | changeset | files |
| Sat, 18 Mar 2017 20:30:05 +0100 | wenzelm | asynchronous send_stop operation; | changeset | files |