Mac のアプリ

以下のアプリの最新版が(やっと?)出たらしい。
  • Isabelle/HOL 2014
  • Haskell Platform 2014