Coqの出力を保存する方法
WindowsのCoqideで右下のウィンドウのコピーしたい部分を選択したのち、アプリケーションキー(メニューキー?)でコピーを選ぶ。
又は,以下のようにコマンドラインで実行してセーブする.
- まずCoqide で入力したコマンド列(左側のウィンドウの内容)をファイルに保存する.
- [スタート]->[プログラム] -> [Coq] -> Coq でコマンドモードのCoqを立ち上げる.
- ウィンドウの一番上のバーの部分で右クリック-> プロパティを選択 -> 簡易編集モードをチェック
- Cd <ディレクトリ名>. で必要に応じてディレクトリを移動する.
- Load <ファイル名>. で保存したファイルをロードする.
- 出力のうちコピーしたい部分の先頭を右クリック、最後を左クリックしてエディタ等にペースト