coq/doc/common/styles/html/simple/footer.html, branch master The formal proof system Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentation) 2014-12-09T11:14:16+00:00 notin 2012-01-13T17:21:21+00:00 f8cb1942284979bc7c325f2137fad1293380d855 This commit r14895 comes apparently itself from commit r12010 in branch v8.2 
 This commit r14895 comes apparently itself from commit r12010 in branch v8.2