nova f3bb1c2cee latex update

2024-02-13 19:31:31 +01:00

..

bindings.lua

latex update

2024-02-13 19:31:31 +01:00

coq.lua

lsp related changes

2024-01-30 20:54:44 +01:00

winsep.lua

switch to luasnip, added better snipplets

2023-09-25 23:44:59 +02:00