ProofCafe/ProofGeneral のバックアップ(No.1)

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

ProofCafe/ProofGeneral?

• 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