| Fri, 07 Aug 2015 11:44:11 +0200 | wenzelm | maintain history more often; | changeset | files |
| Thu, 06 Aug 2015 23:20:15 +0200 | wenzelm | approximate old selection after update; | changeset | files |
| Thu, 06 Aug 2015 23:08:42 +0200 | wenzelm | expand all rows for robustness and simplicity; | changeset | files |
| Thu, 06 Aug 2015 21:31:54 +0200 | wenzelm | evaluate ML expressions within debugger context; | changeset | files |
| Thu, 06 Aug 2015 20:33:12 +0200 | wenzelm | clarified debugger loop; | changeset | files |
| Thu, 06 Aug 2015 17:40:05 +0200 | wenzelm | clarified thread state; | changeset | files |
| Thu, 06 Aug 2015 14:29:05 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 06 Aug 2015 14:28:59 +0200 | wenzelm | more controls; | changeset | files |