The Wayback Machine - https://web.archive.org/web/20211205152643/https://github.com/ms-jpq/coq_nvim/tree/coq/docs
Skip to content
coq
Switch branches/tags
coq_nvim/docs/
coq_nvim/docs/

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Docs

Use :COQhelp to open up a list of help pages!

Help docs are written in markdown.

Use :COQhelp -w or :COQhelp --web to open help pages in a browser window if possible.

Use :COQhelp {topic} or :COQhelp {topic} --web to visit a particular topic for more information


Commands

COQnow

Launch coq.nvim with a greeting.

COQdeps

:COQdeps will install all of coq.nvim's dependencies locally.

Dependencies will be privately installed inside coq.nvim's git root under .vars/runtime.

Running rm -rf on coq_nvim/ will cleanly remove everything coq.nvim installs to your local system.

COQstats

Launch a window and show performance data.