coq.thirdparty icon indicating copy to clipboard operation
coq.thirdparty copied to clipboard

How to use ?

Open samos667 opened this issue 2 years ago • 3 comments

Hi, I just discovered modding and nvim at the same time. So I lack a lot of notion so my question may seem stupid.

I've installed coq and third party like this: image

But i dont know how to use third party, where i'm supposed to put this ? In ~/.config/nvim/init.vim ? Or somewhere else ?

{
  { src = "builtin/ada"     },
  { src = "builtin/c"       },
  { src = "builtin/clojure" },
  { src = "builtin/css"     },
  { src = "builtin/haskell" },
  { src = "builtin/html"    },
  { src = "builtin/js"      },
  { src = "builtin/php"     },
  { src = "builtin/syntax"  },
  { src = "builtin/xml"     },

}

I've tried like this: image

And like this: image

But i get error in any case.

samos667 avatar Oct 20 '22 20:10 samos667

Same question here. It's probably my lack of vim knowledge, but it's not clear to me either how this works.

mvds314 avatar Jun 10 '23 18:06 mvds314

Same issue.

the-nexi avatar Nov 23 '23 14:11 the-nexi