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
|