Romain Tetley comments

Results 175 comments of


                                            Romain Tetley

Async proof checked in brackground causes delay in new commands

There now is an option to deactivate async I believe

Auto-complete suggests commands in proof mode: pretty useless.

This seems obsolete

Filenames with invalid characters not processed

In VsCoq 2 the language server just crashes and does not restart

Search crashes vscoqtop and extension doesn't recover

I think there is two different issues here. - The Not_found error that we apparently miss in the language server - The fact that when the server restarts the front...

Better highlights

This is preliminary work. It solves the performance issues for good (making them on par with VsCoq 1 on the linked example from #657. It also creates better distinctions between...

Proposal to move project vcs-prettify-symbols-mode to coq-community

If this is still relevant to people I could probably take a crack at maintaining it ?

Proposal to move project vcs-prettify-symbols-mode to coq-community

Okay will do !

Proposal to move project vcs-prettify-symbols-mode to coq-community

Thanks for the clarification, I will do a bit of digging and let you know.

Proposal to move project vcs-prettify-symbols-mode to coq-community

Hi ! I'm more than willing to take over, just let me know what the next steps are ? Are we moving it to coq-community then ?

Pretty symbols display almost invisible if followed by a space

Closing in favour of #16