Wed, 09 Mar 2022 16:21:14 +0100 |
wenzelm |
inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs;
|
file |
diff |
annotate
|
Sat, 05 Mar 2022 16:27:59 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Sat, 05 Mar 2022 14:31:29 +0100 |
wenzelm |
more executable files;
|
file |
diff |
annotate
|
Fri, 04 Mar 2022 23:22:39 +0100 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
Fri, 04 Mar 2022 22:53:49 +0100 |
wenzelm |
build component for VSCodium (cross-compiled from sources for all platforms);
|
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 17:21:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 03 Mar 2022 17:11:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 02 Mar 2022 15:28:02 +0100 |
wenzelm |
proper monospace font for terminal;
|
file |
diff |
annotate
|
Mon, 28 Feb 2022 14:29:23 +0100 |
wenzelm |
clarified rendering;
|
file |
diff |
annotate
|
Mon, 28 Feb 2022 13:10:22 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 28 Feb 2022 13:02:40 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 28 Feb 2022 12:56:13 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Mon, 28 Feb 2022 12:53:17 +0100 |
wenzelm |
disable extension updates;
|
file |
diff |
annotate
|
Mon, 28 Feb 2022 12:51:27 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Mon, 28 Feb 2022 12:41:48 +0100 |
wenzelm |
disable check for updates: support just one static version;
|
file |
diff |
annotate
|
Sat, 26 Feb 2022 22:00:22 +0100 |
wenzelm |
removed junk;
|
file |
diff |
annotate
|
Sat, 26 Feb 2022 21:58:54 +0100 |
wenzelm |
clarified default settings;
|
file |
diff |
annotate
|
Sat, 26 Feb 2022 21:48:25 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Sat, 26 Feb 2022 21:40:53 +0100 |
wenzelm |
support Isabelle fonts via patch of vscode resources;
|
file |
diff |
annotate
|
Fri, 18 Feb 2022 18:58:49 +0100 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
Fri, 18 Feb 2022 18:52:46 +0100 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
Fri, 18 Feb 2022 12:22:37 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Fri, 18 Feb 2022 11:54:43 +0100 |
wenzelm |
provide macos_exe, based on bin/codium from linux;
|
file |
diff |
annotate
|
Fri, 18 Feb 2022 11:34:30 +0100 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
Thu, 17 Feb 2022 19:00:14 +0100 |
wenzelm |
setup VSCode from VSCodium distribution;
|
file |
diff |
annotate
|