pirbo/coq — pull request #2 by braibant (2012-10-04 13:12:54+00:00)
Title: V8.4

Make v8.4 branch up-to-date