primrose/.files
1
0
Fork 0
mirror of https://codeberg.org/leana8959/.files.git synced 2025-12-06 14:49:14 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

nvim: some isabelle niceties

Browse source
This commit is contained in:
Primrose 2024-09-18 00:09:32 +02:00
parent 2f1fa5fc76
commit 41cc38d11b
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
4 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.config/nvim/after/plugin/autopairs.lua
View file

@ -48,8 +48,8 @@ local function pair_with_insertion(a1, ins, a2, lang)
)
end
pair_with_insertion("(", "*", ")", { "ocaml", "why3", "skel" })
pair_with_insertion("(*", " ", "*)", { "ocaml", "why3", "skel" })
pair_with_insertion("(", "*", ")", { "ocaml", "why3", "skel", "isabelle" })
pair_with_insertion("(*", " ", "*)", { "ocaml", "why3", "skel", "isabelle" })
pair_with_insertion("[", " ", "]", { "typst", "python", "haskell", "nix", "sh" })
pair_with_insertion("{", " ", "}", nil)