Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• f3bb1c2cee latex update main nova 2024-02-13 19:31:31 +0100
• c347de44e3 lsp related changes nova 2024-01-30 20:54:44 +0100
• a97c33a024 rm of lazy-lock nova 2024-01-30 00:12:52 +0100
• 516fe4a063 start of startscreen overhaul nova 2024-01-30 00:10:59 +0100
• 95a377929a lsp integration with coq nova 2024-01-29 23:25:41 +0100
• 37e28c2b11 lsp change to coq nova 2024-01-29 00:07:54 +0100
• 56e9bb7d04 dvorak nova 2024-01-28 22:20:37 +0100
• 7f9c18536b switch to luasnip, added better snipplets nova 2023-09-25 23:44:59 +0200