ocaml-lablgtk, ocaml-camlp5, coq

まず LablGTK を 2.10.0 へアップデート。動作確認をしていないような気がするけど、もう覚えてないや。

Coq を 8.1pl2 にしたかったので、Camlp5 をパッケージした。ただし、ちゃんと動いているのかどうかよく分からないので、Alter にしといた。

で、Coq を 8.1pl2 へアップデート。これも Alter。これで、プログラミングスタイルを肉体派から頭脳派へ近づけてみたいもんですな。

ちなみに、こんな動画がアップされてますよ。