CoqIde で環境設定 -> 外部 -> coqtop を変更するまではすべて問題ありません。その後、写真に示すように CoqIde の起動に問題が発生することに気付きました。coqtopに間違ったパスを書いたようです。coqplatform を再インストールしようとしましたが、役に立たないようです。では、どうすれば CoqIde を再起動できますか?
質問する
31 次
CoqIde で環境設定 -> 外部 -> coqtop を変更するまではすべて問題ありません。その後、写真に示すように CoqIde の起動に問題が発生することに気付きました。coqtopに間違ったパスを書いたようです。coqplatform を再インストールしようとしましたが、役に立たないようです。では、どうすれば CoqIde を再起動できますか?