最近のRodinインストールの流れ

ここしばらくのRodinインストールから自分の環境設定までの流れです。

１．アーカイブを展開して起動

２．Atelier B proversのインストール
　　（Help > Software Updates...）

３．Perspectiveの作成　（詳細は チュートリアル を参照。）
　　Proving Perspectiveをベースにして、Event-B ExplorerとProof TreeをFast Viewに。
　　Fast Viewを右端に移動。
　　保存。（Window > Save Perspective As...）

４．Auto-Tacticの設定
　　（Window > Preferences > Event-B > Sequent Prover > Auto Tactic）
　　プロジェクト保存時の自動証明をオフに。
　　　（Enable auto-tactic for provingのチェックを外す。）
　　　（モデルが大きくなると自動証明の時間が長くなるので保存毎に実行しないように。）
　　PP restrictedとAtelier P0を追加。
　　　（詳細は http://wiki.event-b.org/index.php/Rodin_Provers に書かれています。）

５．必要なプラグインをインストール
　　（Help > Software Updates...）

以上で完了です。