Thomas Lindae <thomas.lindae@in.tum.de> [Sun, 30 Jun 2024 15:32:32 +0200] rev 81061
clarified PIDE/line range conversions;
Thomas Lindae <thomas.lindae@in.tum.de> [Sun, 30 Jun 2024 15:32:26 +0200] rev 81060
lsp: refactored conversion from Decoration_List to JSON;
Thomas Lindae <thomas.lindae@in.tum.de> [Sun, 30 Jun 2024 15:32:19 +0200] rev 81059
lsp: tuned pretty_text_panel;
Thomas Lindae <thomas.lindae@in.tum.de> [Sun, 30 Jun 2024 15:32:12 +0200] rev 81058
lsp: removed output_pretty_panel function as its logic is now in pretty_text_panel;
Thomas Lindae <thomas.lindae@in.tum.de> [Sun, 30 Jun 2024 15:31:52 +0200] rev 81057
vscode: added more relevant options;
Thomas Lindae <thomas.lindae@in.tum.de> [Fri, 14 Jun 2024 10:21:47 +0200] rev 81056
lsp: converted state panel to use a pretty text panel;
Thomas Lindae <thomas.lindae@in.tum.de> [Fri, 14 Jun 2024 10:21:28 +0200] rev 81055
lsp: converted dynamic output to use a pretty text panel;
Thomas Lindae <thomas.lindae@in.tum.de> [Fri, 14 Jun 2024 10:21:03 +0200] rev 81054
lsp: added Pretty_Text_Panel module;
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 12 Jun 2024 21:26:31 +0200] rev 81053
vscode: added relevant isabelle options to vscode settings;
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 12 Jun 2024 21:14:41 +0200] rev 81052
vscode: indent;