coq/doc/common/styles/html/coqremote, branch master The formal proof system Remove coqremote stylesheets which were useless since the Sphinx migration. 2020-04-20T15:16:29+00:00 Théo Zimmermann 2020-04-01T09:09:02+00:00 f952c8c45a51acf9155b81839db4f3d0ab6e7aa1 






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"







Fixing typos - Part 1
2019-05-21T21:07:55+00:00

JPR

2019-05-21T21:07:55+00:00

e6322e23958a937fa01960f8ce320717b9863253












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












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).







Port ssr manual to Coq's latex/hevea style
2017-08-02T14:47:54+00:00

Enrico Tassi

2017-08-01T14:46:37+00:00

13dcab5b8f40058b7597e51a44207c0745eab9fd

Work done by Assia Mahboubi and Enrico Tassi





Work done by Assia Mahboubi and Enrico Tassi







Makefile.doc: implement serve-refman-8080 target
2017-08-02T14:47:54+00:00

Enrico Tassi

2017-07-03T14:44:21+00:00

8995d0857277019b54c24672439d3e19b2fcb5af

We make it so that, by default, the HTML reference manual looks
like the one published online (same .css) and we provide a target
to serve it locally (requires python).





We make it so that, by default, the HTML reference manual looks
like the one published online (same .css) and we provide a target
to serve it locally (requires python).







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