coq/doc/common/styles/html/simple, 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"
Put newlines at the end of files. 2017-10-25T11:41:53+00:00 Gaëtan Gilbert 2017-10-24T12:41:05+00:00 4c954a3479e002d3a350c3094ae73e6ca5865202 






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: switch all source files to utf8
2014-12-09T11:14:41+00:00

Pierre Letouzey

2014-12-09T11:00:10+00:00

9c24cecec3a7381cd924c56ca50c77a49750e2e5

 Putting utf8 everywhere helps the maintainance of the online refman.
 And anyway, this is the way to go. We should also chase and migrate
 the few remaining iso-latin-1 files elsewhere in the sources.





 Putting utf8 everywhere helps the maintainance of the online refman.
 And anyway, this is the way to go. We should also chase and migrate
 the few remaining iso-latin-1 files elsewhere in the sources.







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