| Sun, 30 Jun 2024 15:32:19 +0200 | Thomas Lindae | lsp: tuned pretty_text_panel; | changeset | files |
| Sun, 30 Jun 2024 15:32:12 +0200 | Thomas Lindae | lsp: removed output_pretty_panel function as its logic is now in pretty_text_panel; | changeset | files |
| Sun, 30 Jun 2024 15:31:52 +0200 | Thomas Lindae | vscode: added more relevant options; | changeset | files |
| Fri, 14 Jun 2024 10:21:47 +0200 | Thomas Lindae | lsp: converted state panel to use a pretty text panel; | changeset | files |
| Fri, 14 Jun 2024 10:21:28 +0200 | Thomas Lindae | lsp: converted dynamic output to use a pretty text panel; | changeset | files |
| Fri, 14 Jun 2024 10:21:03 +0200 | Thomas Lindae | lsp: added Pretty_Text_Panel module; | changeset | files |
| Wed, 12 Jun 2024 21:26:31 +0200 | Thomas Lindae | vscode: added relevant isabelle options to vscode settings; | changeset | files |
| Wed, 12 Jun 2024 21:14:41 +0200 | Thomas Lindae | vscode: indent; | changeset | files |