Mac のアプリ

以下のアプリの最新版が(やっと？)出たらしい。

• Isabelle/HOL 2014
• Haskell Platform 2014