| Mon, 27 May 2024 13:18:29 +0200 | Thomas Lindae | vscode: added decoration request on file switch; | file | diff | annotate |
| Thu, 30 May 2024 02:45:01 +0200 | Thomas Lindae | vscode: added dynamic and state output set margin messages to vscode extension; | file | diff | annotate |
| Fri, 11 Mar 2022 13:07:06 +0100 | wenzelm | clarified signature: more uniform ts vs. Scala; | file | diff | annotate |
| Fri, 11 Mar 2022 12:56:37 +0100 | wenzelm | discontinued isabelle_filesystem (superseded by isabelle_encoding), see also da1108a6d249; | file | diff | annotate |
| Thu, 03 Mar 2022 20:04:27 +0100 | wenzelm | provide symbols statically via ISABELLE_VSCODE_WORKSPACE, instead of LSP/PIDE protocol; | file | diff | annotate |
| Thu, 03 Mar 2022 16:46:05 +0100 | wenzelm | clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5); | file | diff | annotate | base |