0

Ubuntu 12.04 LTSにemacs 23.3.1があり、一般的な証明は4.2です。「coq ホール」モード (coq をハックするときのデフォルト) で coq ファイルを編集する場合、タブを使用できません。そうすることでエラーが発生します

間違った型引数 integer-or-marker-p nil 証明 一般

ミニバッファで。これを解決するにはどうすればよいですか?

4

0 に答える 0