| Mon, 10 Aug 2015 17:49:36 +0200 | wenzelm | added action to toggle breakpoints (on editor side); | file | diff | annotate |
| Mon, 10 Aug 2015 16:05:41 +0200 | wenzelm | rendering for debugger/breakpoint active state; | file | diff | annotate |
| Mon, 10 Aug 2015 14:14:49 +0200 | wenzelm | follow debugger focus; | file | diff | annotate |
| Sat, 08 Aug 2015 21:33:11 +0200 | wenzelm | more single stepping; | file | diff | annotate |
| Fri, 07 Aug 2015 14:55:35 +0200 | wenzelm | proper Symbol.decode/encode; | file | diff | annotate |
| Thu, 06 Aug 2015 20:33:12 +0200 | wenzelm | clarified debugger loop; | file | diff | annotate |
| Thu, 06 Aug 2015 17:40:05 +0200 | wenzelm | clarified thread state; | file | diff | annotate |
| Thu, 06 Aug 2015 14:28:59 +0200 | wenzelm | more controls; | file | diff | annotate |
| Wed, 05 Aug 2015 14:18:07 +0200 | wenzelm | protocol support for thread debugger state; | file | diff | annotate |
| Thu, 30 Jul 2015 14:02:19 +0200 | wenzelm | clarified management of (single) session; | file | diff | annotate |
| Thu, 30 Jul 2015 11:39:30 +0200 | wenzelm | maintain debugger output messages; | file | diff | annotate |
| Wed, 29 Jul 2015 13:34:04 +0200 | wenzelm | separate channel for debugger output; | file | diff | annotate |
| Wed, 29 Jul 2015 11:41:26 +0200 | wenzelm | clarified thread name; | file | diff | annotate |
| Tue, 21 Jul 2015 19:04:36 +0200 | wenzelm | support for ML debugger; | file | diff | annotate |
| Fri, 17 Jul 2015 21:40:47 +0200 | wenzelm | skeleton for interactive debugger; | file | diff | annotate |