coq/doc/common, 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












Documentation for SProp
2019-03-14T14:46:16+00:00

Gaëtan Gilbert

2018-12-20T14:58:24+00:00

170da77ad45cb0e504f82d075836a8f2965efe28












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












Use \mathcal instead of \cal
2019-01-29T14:35:05+00:00

Gaëtan Gilbert

2019-01-29T14:34:15+00:00

de9a5897eb2b7d325f7f65a5c30f71203be05834

Apparently it's deprecated / doesn't always work, see
https://tex.stackexchange.com/questions/84041/why-does-calm-n-give-m

See #9429 (we also need to fix the distributed file on the server).





Apparently it's deprecated / doesn't always work, see
https://tex.stackexchange.com/questions/84041/why-does-calm-n-give-m

See #9429 (we also need to fix the distributed file on the server).







Extended documentation for notations referring to binders.
2018-02-20T09:03:08+00:00

Hugo Herbelin

2017-11-23T17:50:20+00:00

c1359f0ec2a77210ec80ad44753817418f102270

Talking about the difference between ident and pattern. Giving
examples.





Talking about the difference between ident and pattern. Giving
examples.







Updating the current official writing of OCaml, updating Camlp4->Camlp5.
2017-11-25T20:19:58+00:00

Hugo Herbelin

2017-08-14T16:59:54+00:00

67dccb15b1ad7cbe28125dea9dd874d83dc2693e












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