dots
This commit is contained in:
parent
8877be8465
commit
d3c8676053
|
@ -1,5 +1,5 @@
|
||||||
vim.g.coq_settings = {
|
vim.g.coq_settings = {
|
||||||
-- auto_start = 'shut-up',
|
-- auto_start = 'shut-up',
|
||||||
keymap = {
|
keymap = {
|
||||||
eval_snips = "<Leader>se",
|
eval_snips = "<Leader>se",
|
||||||
},
|
},
|
||||||
|
@ -245,7 +245,7 @@ vim.api.nvim_create_autocmd({ 'FileType',
|
||||||
}, {
|
}, {
|
||||||
pattern = "*",
|
pattern = "*",
|
||||||
callback = function()
|
callback = function()
|
||||||
if vim.bo.filetype ~= "plaintex" and vim.bo.filetype ~= "tex" and vim.bo.filetype ~= "latex" and
|
if vim.bo.filetype ~= "plaintex" and vim.bo.filetype ~= "tex" and vim.bo.filetype ~= "late" and
|
||||||
vim.bo.filetype ~= "qf" and vim.bo.filetype ~= "bib" and vim.bo.filetype ~= "" and vim.bo.filetype ~= "pdf"
|
vim.bo.filetype ~= "qf" and vim.bo.filetype ~= "bib" and vim.bo.filetype ~= "" and vim.bo.filetype ~= "pdf"
|
||||||
and vim.bo.filetype ~= "conf" then
|
and vim.bo.filetype ~= "conf" then
|
||||||
vim.cmd [[ :COQnow -s ]]
|
vim.cmd [[ :COQnow -s ]]
|
||||||
|
|
|
@ -30,3 +30,4 @@
|
||||||
\DeclareMathOperator{\Log}{Log}
|
\DeclareMathOperator{\Log}{Log}
|
||||||
\DeclareMathOperator{\Var}{Var}
|
\DeclareMathOperator{\Var}{Var}
|
||||||
\DeclareMathOperator{\Cov}{Cov}
|
\DeclareMathOperator{\Cov}{Cov}
|
||||||
|
\DeclareMathOperator{\supp}{supp}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user