This repository has been archived on 2023-03-02. You can view files and clone it, but cannot push or open issues or pull requests.
2021-10-19 19:02:43 +02:00
|
|
|
-- Author : swytch
|
|
|
|
-- Created : Sunday Oct. 03, 2021 18:06:12 CET
|
|
|
|
-- License : GPLv3
|
|
|
|
-- Description : verilog fietype config
|
|
|
|
|
2021-10-21 23:49:39 +02:00
|
|
|
utils.map("n", "<C-c>", "<cmd>CoqInterrupt<CR>")
|
|
|
|
utils.map("n", "<leader>j", "<cmd>CoqNext<CR>")
|
|
|
|
utils.map("n", "<leader>k", "<cmd>CoqUndo<CR>")
|
|
|
|
utils.map("n", "<leader><CR>", "<cmd>CoqToLine<CR>")
|
2021-10-30 15:30:07 +02:00
|
|
|
utils.map("n", "<leader>a", ":Coq About")
|
|
|
|
utils.map("n", "<leader>s", ":Coq Search")
|
|
|
|
utils.map("n", "<leader>G", "<cmd>CoqJumpToEnd<CR>")
|
2021-10-19 19:02:43 +02:00
|
|
|
|
|
|
|
utils.map("i", "//", "∥")
|