WHYなるツールがあるらしい．事前条件と事後条件を記述してあるC言語とかMLとかのソースコードを解析して，適当にホーア論理にしたがって証明するための条件を抽出してくれるんだとか．でまあ，この先の証明をIsabellでやって幸せになりましょう！っていう研…

Version 1.1.3 ADD コミットダイアログでのパス／ファイル名の補完(Stefan) ADD スペルチェッカ(Ctrl-Tabで起動)(Stefan) ADD TortoiseMergeに競合状態の解消を設定するための*1メニュー項目／ツールバーボタンの追加(Stefan) CHG TSVN操作後のアイコンの更…