Tell vim to redraw the screen while we are sending chunks to coqtop ( fixes #8 ) Thanks to @maximedenes
Tell vim to redraw the screen while we are sending chunks to coqtop ( fixes #8 )
Thanks to @maximedenes

andy-morris/coquille,lgeorget/coquille,c-cube/coquille,bluelightning32/coquille,the-lambda-church/coquille,stelleg/coquille