coqのインストール

前に、coqについては、連続して書いたけど

　　http://blog.goo.ne.jp/xmldtp/e/ea096de40d332f573ca0b0480ca2afec
　　http://blog.goo.ne.jp/xmldtp/e/630d848cf81ebcfaf650a5be22a49068
　　http://blog.goo.ne.jp/xmldtp/e/ea23754a9d5e5775724850131aea0b37
　　http://blog.goo.ne.jp/xmldtp/e/0cefd1714b615f7d88489c0536d3db38
　　http://blog.goo.ne.jp/xmldtp/e/28567de025d398cc11ea737f36af1019

そのとき、インストールについて書かなかった。
ここに、coqのインストール方法があるらしい。
http://www39.atwiki.jp/fm-forum/pages/16.html