| 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
|