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;
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 12 Jun 2024 21:22:01 +0200] rev 81051
lsp: extracted panel content generation logic;
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 12 Jun 2024 20:54:11 +0200] rev 81050
vscode: added all fonts to extension;