ProofCafe/ProofGeneral のバックアップ差分(No.2)

• バックアップ一覧
• ソース を表示
• バックアップ を表示
• ProofCafe/ProofGeneral は削除されています。
  • 1 (2010-04-24 (土) 18:32:50)
  • 2 (2010-10-07 (木) 17:41:21)

• 追加された行はこの色です。
• 削除された行はこの色です。

[[ProofCafe/ProofGeneral]]
*Proofgeneral/Coq [#x3294c20]
|C-c C-n| 1ステップ評価|
|C-c C-u| 1ステップ戻る|
|C-c C-Enter |カーソル位置まで評価|
|C-c C-a C-o |SearchPattern|
|C-c C-a C-p |Print|
|C-c C-a C-c |Check|

- C-c C-n 1ステップ評価
- C-c C-u 1ステップ戻る

- C-c C-Enter カーソル位置まで評価

- C-c C-a C-o SearchPattern

- C-c C-a C-p Print

- C-c C-a C-c Check