Fri, 25 Nov 2022 14:44:22 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 20 Nov 2022 23:37:54 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
Mon, 22 Aug 2022 15:00:46 +0200 |
wenzelm |
support for pretty-printing of JSON trees;
|
file |
diff |
annotate
|
Fri, 19 Aug 2022 16:46:00 +0200 |
wenzelm |
clarified signature: support for adhoc file types;
|
file |
diff |
annotate
|
Fri, 12 Aug 2022 16:01:52 +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
|
Mon, 14 Mar 2022 21:56:46 +0100 |
wenzelm |
clarified directory layout and settings: more robust on all platforms;
|
file |
diff |
annotate
|
Mon, 14 Mar 2022 16:09:25 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 14 Mar 2022 16:03:15 +0100 |
wenzelm |
support Electron application framework;
|
file |
diff |
annotate
|
Sat, 12 Mar 2022 23:21:28 +0100 |
wenzelm |
clarified and unified executable names;
|
file |
diff |
annotate
|
Sat, 12 Mar 2022 20:56:03 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 12 Mar 2022 20:49:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 11 Mar 2022 19:44:34 +0100 |
wenzelm |
suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
|
file |
diff |
annotate
|
Wed, 09 Mar 2022 23:05:07 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Wed, 09 Mar 2022 22:21:35 +0100 |
wenzelm |
proper init_resources for macos;
|
file |
diff |
annotate
|
Wed, 09 Mar 2022 16:52:32 +0100 |
wenzelm |
clarified modules: vscode vs. extension;
|
file |
diff |
annotate
|
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
|
Wed, 09 Mar 2022 11:29:34 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
Wed, 09 Mar 2022 11:20:16 +0100 |
wenzelm |
patch VSCode source tree to support isabelle_encoding.ts;
|
file |
diff |
annotate
|
Tue, 08 Mar 2022 17:09:09 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
| base
|