I'm having problems with a vim interface for the theorem prover HOL:
I run it on MobaXterm, a cygwin-based system, and vim is freezing when I do
hs for sending a line to the theorem prover. MobaXterm implements much of basic commands through Busybox and I already had a problem because of this:
The above hol-vim page says that the interface works with a posixly correct tail. This might be the source of the mentioned error. How can I test whether the
tail command implemented by MobaXterm's Busybox is posixly correct?