| Wed, 11 May 2022 10:42:24 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 01 Apr 2022 23:19:12 +0200 | wenzelm | tuned formatting; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Fri, 25 Mar 2022 17:21:39 +0100 | wenzelm | proper option argument; | file | diff | annotate |
| Fri, 25 Mar 2022 17:00:12 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 25 Mar 2022 16:40:48 +0100 | wenzelm | omit somewhat pointless integrity check; | file | diff | annotate |
| Thu, 24 Mar 2022 22:35:47 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 24 Mar 2022 22:27:17 +0100 | wenzelm | provide vscode_extension via component, thus users don't need Node.js development tools; | file | diff | annotate |
| Thu, 24 Mar 2022 20:45:14 +0100 | wenzelm | clarified options; | file | diff | annotate |
| Wed, 23 Mar 2022 17:24:09 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Wed, 23 Mar 2022 16:53:00 +0100 | wenzelm | more operations; | file | diff | annotate |
| Wed, 23 Mar 2022 16:41:32 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 23 Mar 2022 13:43:13 +0100 | wenzelm | more robust install/uninstall; | file | diff | annotate |
| Wed, 23 Mar 2022 13:05:54 +0100 | wenzelm | more formal extension_manifest, with shasum for sources; | file | diff | annotate |
| Wed, 23 Mar 2022 12:21:13 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 22 Mar 2022 19:33:38 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 22 Mar 2022 19:19:09 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 22 Mar 2022 19:08:47 +0100 | wenzelm | clarified options; | file | diff | annotate |
| Tue, 22 Mar 2022 18:56:28 +0100 | wenzelm | more robust errors -- on foreground process instead of background server; | file | diff | annotate |
| Tue, 22 Mar 2022 18:52:27 +0100 | wenzelm | clarified options -l vs. -R; | file | diff | annotate |
| Tue, 22 Mar 2022 18:12:58 +0100 | wenzelm | command-line arguments for "isabelle vscode", similar to "isabelle jedit"; | file | diff | annotate |
| Tue, 22 Mar 2022 13:05:01 +0100 | wenzelm | support console output, e.g. "isabelle vscode -C -- --help"; | file | diff | annotate |
| Tue, 22 Mar 2022 12:48:27 +0100 | wenzelm | run Isabelle/VSCode via Scala; | file | diff | annotate | base |