| Mon, 13 Mar 2017 21:37:35 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 13 Mar 2017 20:33:42 +0100 | wenzelm | proper local debugger state, depending on session; | changeset | files |
| Mon, 13 Mar 2017 17:21:46 +0100 | wenzelm | more robust startup/init: let Session.stop wait for protocol handler initialization; | changeset | files |
| Mon, 13 Mar 2017 16:06:13 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 13 Mar 2017 15:59:00 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 13 Mar 2017 15:32:19 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 13 Mar 2017 15:25:25 +0100 | wenzelm | more robust Session.stop: idempotent, avoid conflict with startup; | changeset | files |