thomas/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Run COQ on startup

Browse source
This commit is contained in:
Thomas Muller 2021-12-03 11:38:26 -05:00
parent ebd00c7fdb
commit 2182d69151
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
.config/nvim/init.vim
View file

@ -12,6 +12,9 @@ Plug 'ms-jpq/coq.thirdparty', {'branch': '3p'}
call plug#end()
# ----[COQ]----
let g:coq_settings = { 'auto_start': 'shut-up' }
" ----[Look and Feel]----
" Syntax hilighting and line numbers
syntax on