| Tue, 20 Jun 2017 15:04:34 +0200 | wenzelm | added commands for spell-checker dictionary; | file | diff | annotate |
| Fri, 16 Jun 2017 16:21:17 +0200 | wenzelm | support for separate proof state output; | file | diff | annotate |
| Fri, 09 Jun 2017 17:13:50 +0200 | wenzelm | provide information about Isabelle symbols within VSCode; | file | diff | annotate |
| Wed, 31 May 2017 17:25:26 +0200 | wenzelm | explicit preview request/response; | file | diff | annotate |
| Tue, 30 May 2017 22:14:00 +0200 | wenzelm | tuned -- like Dynamic_Preview; | file | diff | annotate |
| Tue, 30 May 2017 22:06:39 +0200 | wenzelm | provide preview content on Scala side (similar to output); | file | diff | annotate |
| Sun, 12 Mar 2017 18:45:53 +0100 | wenzelm | clarified modules; | file | diff | annotate |