クリーンアップ証明書 HOL の vim インタフェースの使用に問題があります。
https://github.com/HOL-Theorem-Prover/HOL/tree/master/tools/vim
hsMobaXterm（cygwinベースのシステム）でこれを実行していますが、クリーンアップ証明書に行を送信するとvimが停止します。 MobaXtermはBusyboxを介して多くの基本的なコマンドを実装しているので、すでに問題が発生しています。
https://stackoverflow.com/questions/55097775/compiling-poly-ml-on-mobaxterm-the-ar-u-option
上記の hol-vim ページは、posixly で正しく動作するインターフェイスを示しています。これが上記のエラーの原因である可能性があります。tailMobaXtermのBusyboxで実行されたコマンドが正しいかどうかをテストする方法は？
ベストアンサー1
tailのPOSIXコンプライアンスをテストする実際のテストスイートがない場合は、最良の方法は次を読むことです。tailのPOSIXドキュメントバージョンが一致していることを確認してください。
つまり、busyboxがPOSIXに合っていると驚くことになりますtail。 busyboxは、標準規格に準拠するのではなく、エクスポートされたインターフェイスのサイズを強力に最適化します。たとえば、サイズを最適化するのではなく、コンパイル時-cにのみ有効になります。FEATURE_FANCY_TAILhttps://git.busybox.net/busybox/tree/coreutils/tail.c#n28