| Wed, 01 May 2024 19:09:26 +0200 |
Thomas Lindae |
lsp: tuned;
|
changeset |
files
|
| Thu, 30 May 2024 02:45:24 +0200 |
Thomas Lindae |
lsp: updated ErrorCodes;
|
changeset |
files
|
| Wed, 01 May 2024 12:34:53 +0200 |
Thomas Lindae |
lsp: added State and Dynamic Output html_output and margin handling;
|
changeset |
files
|
| Wed, 01 May 2024 12:30:53 +0200 |
Thomas Lindae |
lsp: added vscode_html_output option;
|
changeset |
files
|
| Wed, 01 May 2024 11:12:59 +0200 |
Thomas Lindae |
tuned formatting;
|
changeset |
files
|
| Wed, 24 Apr 2024 18:49:43 +0200 |
Thomas Lindae |
lsp: partially revert c0388fbd8096 to get decorations for all keywords;
|
changeset |
files
|
| Wed, 24 Apr 2024 18:48:24 +0200 |
Thomas Lindae |
lsp: added State_Init_Response message;
|
changeset |
files
|
| Thu, 30 May 2024 02:43:16 +0200 |
Thomas Lindae |
lsp: removed change_document normalization because it causes desyncs;
|
changeset |
files
|
| Mon, 30 Sep 2024 20:30:59 +0200 |
wenzelm |
clarified inner-syntax markup, notably for enumerations: prefer "notation=mixfix" over "entity" via 'syntax_consts' (see also 70076ba563d2);
|
changeset |
files
|
| Mon, 30 Sep 2024 13:00:42 +0200 |
wenzelm |
less markup: prefer "notatation" over "entity";
|
changeset |
files
|
| Mon, 30 Sep 2024 12:59:50 +0200 |
wenzelm |
clarify comparison of output: ignore token positions, which are somewhat accidental;
|
changeset |
files
|
| Mon, 30 Sep 2024 11:42:52 +0200 |
wenzelm |
clarified order of markup: more uniform input vs. output;
|
changeset |
files
|
| Mon, 30 Sep 2024 10:50:33 +0200 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Mon, 30 Sep 2024 10:46:26 +0200 |
wenzelm |
clarified parse tree: always provide root node;
|
changeset |
files
|
| Mon, 30 Sep 2024 10:44:25 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 29 Sep 2024 22:47:14 +0200 |
wenzelm |
tuned markup;
|
changeset |
files
|
| Sun, 29 Sep 2024 21:57:47 +0200 |
wenzelm |
clarified markup: avoid conflict of "notation" with "entity", e.g. in "[x,y,z]" without spaces;
|
changeset |
files
|
| Sun, 29 Sep 2024 21:40:37 +0200 |
wenzelm |
more flexible command syntax;
|
changeset |
files
|
| Sun, 29 Sep 2024 21:20:36 +0200 |
wenzelm |
less markup (amending 07ad0b407d38): const = "" is mainly for parentheses syntax -- avoid entity_markup here;
|
changeset |
files
|
| Sun, 29 Sep 2024 21:16:17 +0200 |
wenzelm |
more markup reports: notably "notation=..." within pretty blocks;
|
changeset |
files
|
| Sun, 29 Sep 2024 21:13:17 +0200 |
wenzelm |
more parse tree positions;
|
changeset |
files
|
| Sun, 29 Sep 2024 21:03:28 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
| Sun, 29 Sep 2024 20:11:28 +0200 |
wenzelm |
clarified order for 'print_syntax' command;
|
changeset |
files
|
| Sun, 29 Sep 2024 19:51:23 +0200 |
wenzelm |
more accurate parse tree: retain all tokens (and thus positions);
|
changeset |
files
|
| Sun, 29 Sep 2024 19:45:38 +0200 |
wenzelm |
more thorough markup reports (amending 0c6a600c8939 and 7f9e8516ca05): descend into vacuous nodes;
|
changeset |
files
|
| Sun, 29 Sep 2024 15:58:28 +0200 |
wenzelm |
clarified comparison: prefer authentic nonterminal context, instead of somewhat accidental "const";
|
changeset |
files
|
| Sun, 29 Sep 2024 15:24:17 +0200 |
wenzelm |
more detailed parse tree: retain nonterminal context as well;
|
changeset |
files
|
| Sun, 29 Sep 2024 15:08:38 +0200 |
wenzelm |
clarified persistent data;
|
changeset |
files
|