From 9cb79d26786a2d0e9a9ddfe7ae1adfbc64e9d953 Mon Sep 17 00:00:00 2001
From: David JULIEN <swy7ch@protonmail.com>
Date: Thu, 21 Oct 2021 23:47:47 +0200
Subject: [PATCH] [nvim]feat: add maps for verilog

---
 .config/nvim/after/ftplugin/verilog.lua | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.config/nvim/after/ftplugin/verilog.lua b/.config/nvim/after/ftplugin/verilog.lua
index bf75582..6cd413e 100644
--- a/.config/nvim/after/ftplugin/verilog.lua
+++ b/.config/nvim/after/ftplugin/verilog.lua
@@ -3,8 +3,11 @@
 -- License      : GPLv3
 -- Description  : verilog fietype config
 
+utils.map("n", "<C-c>", ":CoqInterrupt<Enter>")
 utils.map("n", "<leader>j", ":CoqNext<Enter>")
 utils.map("n", "<leader>k", ":CoqUndo<Enter>")
 utils.map("n", "<leader><Enter>", ":CoqToLine<Enter>")
+utils.map("n", "<leader>a", ":Coq About")
+utils.map("n", "<leader>G", ":CoqJumpToEnd")
 
 utils.map("i", "//", "∥")