To run the proofs or build the docs, you need up-to-date coq and coqdoc.
I am currently using v8.3 (13693).