Thomas Lindae <thomas.lindae@in.tum.de> [Thu, 30 May 2024 02:45:24 +0200] rev 81026
lsp: updated ErrorCodes;
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 01 May 2024 12:34:53 +0200] rev 81025
lsp: added State and Dynamic Output html_output and margin handling;
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 01 May 2024 12:30:53 +0200] rev 81024
lsp: added vscode_html_output option;
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 01 May 2024 11:12:59 +0200] rev 81023
tuned formatting;
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 24 Apr 2024 18:49:43 +0200] rev 81022
lsp: partially revert c0388fbd8096 to get decorations for all keywords;
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 24 Apr 2024 18:48:24 +0200] rev 81021
lsp: added State_Init_Response message;
Thomas Lindae <thomas.lindae@in.tum.de> [Thu, 30 May 2024 02:43:16 +0200] rev 81020
lsp: removed change_document normalization because it causes desyncs;
wenzelm [Mon, 30 Sep 2024 20:30:59 +0200] rev 81019
clarified inner-syntax markup, notably for enumerations: prefer "notation=mixfix" over "entity" via 'syntax_consts' (see also 70076ba563d2);
wenzelm [Mon, 30 Sep 2024 13:00:42 +0200] rev 81018
less markup: prefer "notatation" over "entity";
wenzelm [Mon, 30 Sep 2024 12:59:50 +0200] rev 81017
clarify comparison of output: ignore token positions, which are somewhat accidental;