coq/doc/common/styles/html/coqremote/header.html, branch master The formal proof system Stdlib HTML documentation: fix a few absolute URLs 2019-02-21T12:40:03+00:00 Vincent Laporte 2019-02-21T12:36:43+00:00 e3b64e8f5124c729ff3ba305dc20c7f38011900e 






doc: improved xhtml compatibility (cover, header,...)
2014-12-09T11:14:39+00:00

Pierre Letouzey

2014-12-05T15:11:26+00:00

c04159843794f2b1615f033a3ba540fd0bf7f5ea












doc/stdlib: fix the html charset in header.html and co
2014-12-09T11:14:39+00:00

Pierre Letouzey

2014-12-05T09:07:02+00:00

6f47b089934c10c38a5dfb126b5ae62ec9c305a0












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