| Tue, 31 Oct 2017 18:45:33 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 31 Oct 2017 17:56:28 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 29 Sep 2017 22:12:32 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 30 Jun 2017 13:21:47 +0200 | wenzelm | more robust: always package; | file | diff | annotate |
| Fri, 30 Jun 2017 13:19:24 +0200 | wenzelm | prefer explicit link; | file | diff | annotate |
| Thu, 29 Jun 2017 23:05:58 +0200 | wenzelm | provide --baseImagesUrl for VSCode extensions marketplace; | file | diff | annotate |
| Mon, 12 Jun 2017 15:40:40 +0200 | wenzelm | dynamic configuration of prettify-symbols-mode, similar to VSCoq; | file | diff | annotate |
| Tue, 04 Apr 2017 15:05:00 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Wed, 15 Mar 2017 10:31:42 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 13 Mar 2017 15:59:00 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 09 Mar 2017 21:08:41 +0100 | wenzelm | more thorough build; | file | diff | annotate |
| Tue, 07 Mar 2017 13:55:49 +0100 | wenzelm | added admin tool "isabelle build_vscode"; | file | diff | annotate |