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