coq/dev/doc, branch master The formal proof system Relying on the abstract notion of streams with location for parsing. 2021-04-23T13:34:29+00:00 Hugo Herbelin 2021-04-05T14:40:10+00:00 e07efb3798c7c6ec54aac9093ab50fddfc6c6a5b We also get rid of ploc.ml, now useless, relying a priori on more robust code in lStream.ml for location reporting (see e.g. parse_parsable in grammar.ml). 
We also get rid of ploc.ml, now useless, relying a priori on more
robust code in lStream.ml for location reporting (see
e.g. parse_parsable in grammar.ml).
[doc] [dune] Some tweaks from #13617 2021-04-01T15:09:58+00:00 Emilio Jesus Gallego Arias 2021-03-29T16:18:06+00:00 7f629fc3270a1ecfa6b37fc2d85fc3a8a751af6e Tweaks to docs that are independent / unrelated to that PR. 
Tweaks to docs that are independent / unrelated to that PR.
Document as critical. 2021-03-26T14:18:28+00:00 Guillaume Melquiond 2021-03-25T14:03:03+00:00 7ff8b12c14867e43d54c3d4c8976a6179250893d 






Document the relation of the list-contributors.sh script to .mailmap.
2021-03-05T14:12:08+00:00

Théo Zimmermann

2021-03-05T14:03:59+00:00

afa4882102d627ce5be6821f591f3bf42fe74324












Fix the release process checklist with respect to the refman update.
2021-02-22T22:19:14+00:00

Théo Zimmermann

2021-02-22T22:19:14+00:00

16b04b00e33d4747e3366edd7955c5445c2679af












Add an entry to file critical-bugs.
2021-02-17T08:53:26+00:00

Guillaume Melquiond

2021-02-17T08:53:26+00:00

c150f3ab8dc9d1824d88b6fb9b1da14cb544ffc7












Update release process following coq/ceps#52.
2021-02-04T21:18:40+00:00

Théo Zimmermann

2021-02-04T14:05:12+00:00

6ccec2f441fb4237ae098c65a2ff509b8d93b2af












Merge PR #13528: [RM] Script to list the contributors between two git revisions
2021-02-04T11:06:49+00:00

coqbot-app[bot]

2021-02-04T11:06:49+00:00

c7d0084fc64042380dd1675095f8be6ec438fcb0

Reviewed-by: Zimmi48
Reviewed-by: gares





Reviewed-by: Zimmi48
Reviewed-by: gares







Use release branch instead of master.
2021-02-04T11:06:18+00:00

Théo Zimmermann

2021-02-04T11:06:18+00:00

e5093e8c205d292ab15b6a64c3d6671583ab6495












Add missing item about PDF manual to release checklist.
2021-01-21T13:16:52+00:00

Théo Zimmermann

2021-01-21T13:16:52+00:00

3a32f852a0b82c964fad00f57abcacbb90bbee7f