| Mon, 02 Nov 2015 10:20:27 +0100 | wenzelm | clarified completion of Isabelle symbols within document source; | file | diff | annotate |
| Thu, 15 Oct 2015 15:06:03 +0200 | wenzelm | report Markdown document structure; | file | diff | annotate |
| Mon, 21 Sep 2015 15:07:23 +0200 | wenzelm | tuned signature; | 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 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 |
| Fri, 17 Jul 2015 16:23:25 +0200 | wenzelm | report possible breakpoint positions; | file | diff | annotate |