Jaehwang Jung

Some alternatives: * https://github.com/tpope/vim-markdown/blob/276524ed9c8aec415d3c6dbeec7c05fbd31c95ce/ftplugin/markdown.vim#L34 * https://github.com/vim-pandoc/vim-pandoc/blob/master/autoload/pandoc/folding.vim

At this moment, the only way to use plasticboy/vim-markdown and fix the folding problem is to copy-paste the folding part of tpope's plugin into your `after/ftplugin/markdown.vim` and modify some part...

My solution is to redefine `htmlTag`. Add following code in your `after/syntax/html.vim`. ```vim syn clear htmlTag syn region htmlTag start=++ fold contains=htmlTagN,htmlString,htmlArg,htmlValue,htmlTagError,htmlEvent,htmlCssDefinition,@htmlPreproc,@htmlArgCluster " ^^^^^^^^^^^ redefined this part ``` Since it's...

Some coq projects make heavy use of unicode indentifiers and notations and their highlighting is severely broken on gitlab. Example: https://gitlab.mpi-sws.org/iris/iris/-/blob/master/iris_heap_lang/adequacy.v  Github's highlighter seems to ignore everything it doesn't...

Pandoc Markdown supports it: https://pandoc.org/MANUAL.html#extension-raw_tex. See also: * vim-pandoc-syntax implementation: https://github.com/vim-pandoc/vim-pandoc-syntax/blob/5056e635ecf406e65d7d28651bab55600dd18741/syntax/pandoc.vim#L269 * my fork of vim-pandoc-syntax, which uses vimtex's syntax: https://github.com/vim-pandoc/vim-pandoc-syntax/compare/master...tomtomjhj:vimtex

Note: Since we have released the old exam problem, the new exam problems will be generally more difficult.

> I wonder if it would make more sense to write something from scratch or to build on an existing Vim LSP plugin. For neovim, [lean.nvim](https://github.com/Julian/lean.nvim) would be a good...

In case anyone wants to quickly try coq-lsp in neovim, here's a very simple client implementation based on neovim's built-in lsp client. https://github.com/tomtomjhj/coq-lsp.nvim

`:Inspect` on "ls" shows the entry for `@keyword` highlight from the injection, which means that treesitter is working correctly. So probably the problem is in redrawing.

Can someone merge this?