coq/doc/common/styles/html/coqremote/cover.html, branch master The formal proof system Update copyright years outside of headers. 2019-06-17T16:08:33+00:00 Théo Zimmermann 2019-06-06T09:22:09+00:00 ffd9b12fe9e279fa896fc7e89d4f4d26c260ddfc These were found with the following command: $ git grep "1999-" | grep -v "2019" 
These were found with the following command:
$ git grep "1999-" | grep -v "2019"
Fix copyright info in reference manual. 2017-10-06T00:10:50+00:00 Théo Zimmermann 2017-10-06T00:10:50+00:00 7d7075b62c21660dda4ae31c2b89d3b223fa678f Also simplifies the way it is presented (no need to be overly precise). 
Also simplifies the way it is presented (no need to be overly precise).
Update copyright on documentation cover. 2016-11-30T08:39:45+00:00 Maxime Dénès 2016-11-29T15:29:24+00:00 b6a70501e7ba46d556288abc5c3c81399a280e26 






Update copyright headers.
2016-01-20T16:33:09+00:00

Maxime Dénès

2016-01-20T16:25:10+00:00

86f5c0cbfa64c5d0949365369529c5b607878ef8












Separate index for vernacular options.
2015-02-17T20:38:13+00:00

Maxime Dénès

2015-02-17T20:38:13+00:00

30076f81448721c49b86846de638cbc936c085fb












Refresh some copyright headers.
2015-01-13T11:28:00+00:00

Maxime Dénès

2015-01-13T11:28:00+00:00

2ae01e839df66f13ff1d3bc974cea50a33126c59












refman: remove ?uri=referer in urls pointing to validator.w3.org
2014-12-09T11:14:41+00:00

Pierre Letouzey

2014-12-09T08:40:19+00:00

6846c43b3513cbb984c6499ff59c59e20aaeb505

 Unfortunately, these ?uri=referer parameters do not work correctly
 now that coq.inria.fr forces the switch to https before answering
 any document. See: http://validator.w3.org/docs/help.html#faq-referer
 I currently see no workaround for that, apart from generating links
 like ?uri=http://the.real.url/of/my/page, which would be quite painful.
 For now, users interested in checking the validity of our pages
 will have to copy-paste the url they want to check after clicking
 on the validator button.





 Unfortunately, these ?uri=referer parameters do not work correctly
 now that coq.inria.fr forces the switch to https before answering
 any document. See: http://validator.w3.org/docs/help.html#faq-referer
 I currently see no workaround for that, apart from generating links
 like ?uri=http://the.real.url/of/my/page, which would be quite painful.
 For now, users interested in checking the validity of our pages
 will have to copy-paste the url they want to check after clicking
 on the validator button.







refman: xhtml validity of the cover page
2014-12-09T11:14:40+00:00

Pierre Letouzey

2014-12-08T15:38:58+00:00

14206ea932b147309f1cc046722b649a1aadb123












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