coq/doc/sphinx/practical-tools, branch master The formal proof system [doc] [coq_makefile] Document that -j N is broken for OCaml < 4.07.0 2021-03-29T20:27:43+00:00 Emilio Jesus Gallego Arias 2021-03-27T16:00:16+00:00 7dba32f3204b85b0abf39161c7c8b7db4ce27247 Fixes #10704 
Fixes #10704
Convert 2nd part of rewriting chapter to prodn 2021-03-08T19:48:20+00:00 Jim Fehrle 2020-09-13T03:54:22+00:00 0d33024ff79c38d52fde49e23d0e45d9c22eefbe 






Fix link of default_bindings.
2021-02-28T05:22:01+00:00

slb Prime

2021-02-28T05:22:01+00:00

ddd4ffea1dd58cd3e50c188699684b7506ce3bee












Merge PR #13470: Convert rewriting and proof-mode chapters to prodn
2021-01-01T19:06:50+00:00

coqbot-app[bot]

2021-01-01T19:06:50+00:00

66e24a2365b235bd35cbba71adce30dccea60b55

Reviewed-by: Zimmi48
Ack-by: JasonGross





Reviewed-by: Zimmi48
Ack-by: JasonGross







Convert rewriting and proof-mode chapters to prodn
2020-12-30T19:48:37+00:00

Jim Fehrle

2020-09-13T03:54:22+00:00

e02120ed6580733db2276f0c11b4f432ea670ee3












Document the -native-compiler option
2020-12-29T16:55:49+00:00

Pierre Roux

2020-12-28T11:48:25+00:00

8a0986f84965e61239d00e9be48d713e60308863












Update doc/sphinx/practical-tools/utilities.rst
2020-11-18T11:17:14+00:00

Hugo Herbelin

2020-11-18T11:17:14+00:00

3fb5c7751988d6e8e0193dba36828bb0eb0d7a41

Co-authored-by: Enrico Tassi <Enrico.Tassi@inria.fr>




Co-authored-by: Enrico Tassi <Enrico.Tassi@inria.fr>






We move the example of Makefile wrapper next to the explanations about CoqMakefile.
2020-11-11T20:38:35+00:00

Hugo Herbelin

2020-10-19T07:54:24+00:00

532693948c299eabfaf28bc43afa024926769269

Co-authored-by: Enrico Tassi <Enrico.Tassi@inria.fr>





Co-authored-by: Enrico Tassi <Enrico.Tassi@inria.fr>







[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.
2020-11-09T17:39:49+00:00

Théo Zimmermann

2020-11-09T17:39:49+00:00

a3869e5371c89629ddfd8ccdd1bdc0de12efe806

The smallcaps rendering was inexistent in the PDF version and did not
look good in the HTML version.





The smallcaps rendering was inexistent in the PDF version and did not
look good in the HTML version.







Add some missing smallcaps.
2020-10-20T09:07:52+00:00

Théo Zimmermann

2020-10-19T14:06:30+00:00

3230c568eb0bc719feca642a1537555e262478eb