coq/doc/common/styles/html/coqremote/footer.html, branch master The formal proof system doc: improved xhtml compatibility (cover, header,...) 2014-12-09T11:14:39+00:00 Pierre Letouzey 2014-12-05T15:11:26+00:00 c04159843794f2b1615f033a3ba540fd0bf7f5ea 






doc: version number in cover.html + updates in coq.inria.fr style
2014-12-09T11:14:39+00:00

Pierre Letouzey

2014-11-07T17:39:55+00:00

414a38109a1a27aa8e0890bf73c537360f38a7b5

To be continued someday, those style files are full of redundancies...





To be continued someday, those style files are full of redundancies...







Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la documentation en ligne)
2014-12-09T11:14:39+00:00

notin

2012-12-13T10:19:48+00:00

feeacd6e4a805e5d288b97132a02011afaba5e7f












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