| Sat, 28 Nov 2020 23:36:17 +0100 | wenzelm | clarified files; | file | diff | annotate |
| Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |
| Mon, 16 Nov 2020 23:27:43 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 07 Apr 2020 21:49:36 +0200 | wenzelm | clarified signature: more uniform treatment of stopped/interrupted state; | file | diff | annotate |
| Sat, 10 Nov 2018 14:08:02 +0100 | wenzelm | support for user-defined Isabelle/Scala command-line tools; | file | diff | annotate |
| Wed, 01 Nov 2017 16:43:51 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| 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 |