Coqtail icon indicating copy to clipboard operation
Coqtail copied to clipboard

Published 20 hours ago • verified publisher icon whonore

Support Asynchronous Editing

Open whonore opened this issue 7 years ago • 2 comments

CoqIDE supports asynchronous editing of files where one can work on a later part of a file while the earlier parts are checked in the background. It would be cool to support this too.

whonore avatar Oct 25 '17 20:10 whonore

https://github.com/ianding1/coqide.vim This (now unmaintained) plugin supports async proof/editing like CoqIDE and VsCoq.

tomtomjhj avatar Mar 13 '21 10:03 tomtomjhj

Thanks for the pointer, I'll take a look and try to see if their approach will work for Coqtail. I definitely want to finish #188 before making a change like that though and then I'd need to wait until I have a bit more free time. Though if someone else is feeling motivated before that happens I'd be happy to help plan out the implementation and then let them work on it.

whonore avatar Mar 13 '21 16:03 whonore