| Tue, 29 May 2012 18:00:54 +0200 | wenzelm | more explicit treatment of return code vs. session phase; | changeset | files |
| Tue, 29 May 2012 17:54:34 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 29 May 2012 16:39:42 +0200 | wenzelm | separate README dockable, which allows to make it more prominent first and remove it later; | changeset | files |