M. Hossein Jabbarzadeh comments

Repositories
Issues
Comments

Results 3 comments of


                                            M. Hossein Jabbarzadeh

How to install and configure coq using lazy plugin manager?

> Just use vim.cmd("COQnow") This works, but I am looking for configuring coq like the way conf documentation has suggested.

How to install and configure coq using lazy plugin manager?

I have no idea. Just seeking a way to configure coq.

COQnow fails in tmux after upgrading to Fedora 39

For me it does not even start without tmux. I am using fedora 39. I get the same error: ``` not enough values to unpack (expected 7, got 1) Traceback...