coq/doc/sphinx/using, branch master The formal proof system Add documentation. 2021-03-10T11:23:41+00:00 Pierre-Marie Pédrot 2021-01-21T15:54:19+00:00 234a802f0925f9c9078417afa28dcb00c31668d9 






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












Documenting one-line verbatim.
2020-11-14T21:55:47+00:00

Hugo Herbelin

2020-11-05T12:17:38+00:00

0b12bb8c03b0ac7cc8aa7578a8db8ca93ecd1fd0












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







Convert misc chapters to prodn
2020-10-24T22:38:33+00:00

Jim Fehrle

2020-08-09T21:25:51+00:00

7a57a23e4fb8a74e8746d4eaee900f2ced37a28a












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

Théo Zimmermann

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

3230c568eb0bc719feca642a1537555e262478eb












[refman] Rename num to natural
2020-09-11T20:20:25+00:00

Pierre Roux

2020-09-04T13:08:00+00:00

46b9480a717d5ca78e354fa843f39eed87cb7b15












Add index for coqdoc.
2020-06-21T15:49:14+00:00

Théo Zimmermann

2020-06-21T15:49:14+00:00

5f9572b4b6280995b5c1078f59f7f514e665a4c0

Fixes #12545.





Fixes #12545.







Release notes for 8.12.
2020-05-27T13:38:24+00:00

Théo Zimmermann

2020-05-23T10:58:37+00:00

2f0a89e59e615e6101096b36e12e7b7bbace8eff












Fix note on implicit arguments in doc of functional induction.
2020-05-16T13:43:15+00:00

Théo Zimmermann

2020-05-16T13:41:21+00:00

e83a92d8855f1b2f99f2960454898985593d4cb6