| Thu, 03 Mar 2022 20:04:27 +0100 | wenzelm | provide symbols statically via ISABELLE_VSCODE_WORKSPACE, instead of LSP/PIDE protocol; | file | diff | annotate |
| Wed, 02 Mar 2022 22:33:49 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Wed, 02 Mar 2022 21:14:09 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 02 Mar 2022 16:06:37 +0100 | wenzelm | clarified module; | file | diff | annotate |
| Wed, 02 Mar 2022 15:46:08 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Wed, 02 Mar 2022 15:06:09 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 02 Mar 2022 15:04:59 +0100 | wenzelm | support system path representations (as in Isabelle/Java/Scala); | file | diff | annotate |
| Wed, 02 Mar 2022 12:28:46 +0100 | wenzelm | more robust; | file | diff | annotate |
| Mon, 28 Feb 2022 14:53:52 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Wed, 23 Feb 2022 22:12:00 +0100 | Fabian Huch | tuned vscode extension: split isabelle fsp into workspace and mapping; | file | diff | annotate |
| Tue, 22 Feb 2022 21:30:39 +0100 | wenzelm | more operations; | file | diff | annotate |
| Tue, 22 Feb 2022 11:53:06 +0100 | wenzelm | various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); | file | diff | annotate |
| Thu, 29 Jun 2017 14:39:24 +0200 | wenzelm | proper hyperlink_command, notably for locate_query; | file | diff | annotate |
| Thu, 29 Jun 2017 13:28:08 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 13 Jun 2017 15:11:01 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 12 Jun 2017 15:40:40 +0200 | wenzelm | dynamic configuration of prettify-symbols-mode, similar to VSCoq; | file | diff | annotate |
| Wed, 31 May 2017 17:25:26 +0200 | wenzelm | explicit preview request/response; | file | diff | annotate |
| Tue, 30 May 2017 15:29:42 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 30 May 2017 14:21:42 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 30 May 2017 11:50:12 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 30 May 2017 11:42:18 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 30 May 2017 11:40:28 +0200 | wenzelm | clarified modules; | file | diff | annotate |