| Mon, 21 Mar 2022 11:40:11 +0100 |
wenzelm |
clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
|
changeset |
files
|
| Mon, 21 Mar 2022 10:56:29 +0100 |
wenzelm |
incorporate build_grammar into build_vscode_extension;
|
changeset |
files
|
| Mon, 21 Mar 2022 10:32:24 +0100 |
wenzelm |
removed old generated file;
|
changeset |
files
|
| Wed, 16 Mar 2022 16:14:22 +0000 |
paulson |
Tidied several ugly proofs in some elderly examples
|
changeset |
files
|
| Tue, 15 Mar 2022 14:15:11 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Tue, 15 Mar 2022 14:03:56 +0100 |
wenzelm |
clarified errors;
|
changeset |
files
|
| Tue, 15 Mar 2022 13:22:37 +0100 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Tue, 15 Mar 2022 13:16:13 +0100 |
wenzelm |
support Node.js as well, reusing the engine from Electron/VSCodium;
|
changeset |
files
|
| Tue, 15 Mar 2022 13:13:05 +0100 |
wenzelm |
updated to vscode 1.65.2;
|
changeset |
files
|
| Tue, 15 Mar 2022 13:11:53 +0100 |
wenzelm |
proper result check;
|
changeset |
files
|
| Mon, 14 Mar 2022 21:57:17 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 14 Mar 2022 21:56:46 +0100 |
wenzelm |
clarified directory layout and settings: more robust on all platforms;
|
changeset |
files
|
| Mon, 14 Mar 2022 16:09:25 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 14 Mar 2022 16:03:15 +0100 |
wenzelm |
support Electron application framework;
|
changeset |
files
|
| Fri, 11 Mar 2022 11:19:38 +0100 |
desharna |
generated lemma map_ident_strong for BNFs
|
changeset |
files
|