coq/doc/changelog/02-specification-language, branch master The formal proof system Remove the :> type cast 2021-03-30T16:51:56+00:00 Jim Fehrle 2021-03-07T18:15:11+00:00 eeb142f3c69d2467fbadd7dd1470ac1606b2e5bf 






[changelog] update markup
2020-12-03T15:03:37+00:00

Enrico Tassi

2020-11-30T09:03:47+00:00

c8fc6b8f0d357b01f919b8346f45d0bd020f4fe2












Changes for Coq 8.13
2020-12-03T15:03:37+00:00

Matthieu Sozeau

2020-11-30T16:12:37+00:00

3c4d2c9e3b7100a0012ad06b33b46fe7dca6cd29












Add changelog for #13386.
2020-11-19T19:43:42+00:00

Hugo Herbelin

2020-11-15T12:55:49+00:00

216f4f132dc6597dde469f3081404c9b8f3ade82












Review commit: improving the doc of boolean attributes.
2020-11-18T15:25:00+00:00

Théo Zimmermann

2020-11-14T17:44:57+00:00

ca42305f1ed1699065cffdef7d96bf5fcc0069be












[attributes] Deprecate `attr(true)` syntax in favor of booelan attributes.
2020-11-18T15:24:28+00:00

Emilio Jesus Gallego Arias

2020-11-12T19:21:36+00:00

c609c05cf4a5a2a36ca46a0ea890c954d0ae2a5b

We introduce a warning so boolean attributes are expected to be of the
form `attr={yes,no}` or just `attr` (for `yes`).

We update the documentation, test-suite, and changelog.





We introduce a warning so boolean attributes are expected to be of the
form `attr={yes,no}` or just `attr` (for `yes`).

We update the documentation, test-suite, and changelog.







Merge PR #12653: Syntax for specifying cumulative inductives
2020-11-17T13:26:45+00:00

coqbot-app[bot]

2020-11-17T13:26:45+00:00

60f25e251ccdb13a80bd307e8955d6c672f9b76a

Reviewed-by: mattam82
Reviewed-by: maximedenes
Reviewed-by: jfehrle
Ack-by: gares
Ack-by: Zimmi48
Ack-by: ppedrot





Reviewed-by: mattam82
Reviewed-by: maximedenes
Reviewed-by: jfehrle
Ack-by: gares
Ack-by: Zimmi48
Ack-by: ppedrot







Merge PR #13387: Fixes #12348: de Bruijn indices bug in the imitation part of unification
2020-11-16T12:09:04+00:00

coqbot-app[bot]

2020-11-16T12:09:04+00:00

8a1e9bb57462614028eb1b3905fb1df1cdf3a871

Reviewed-by: mattam82





Reviewed-by: mattam82







Merge PR #13188: Default disable automatic generalization of Instance type
2020-11-16T11:56:38+00:00

Pierre-Marie Pédrot

2020-11-16T11:56:38+00:00

deb4206e287d46d804be6c50a06c4544d8ec43cf

Ack-by: Blaisorblade
Reviewed-by: JasonGross
Reviewed-by: Zimmi48
Ack-by: jfehrle
Reviewed-by: ppedrot





Ack-by: Blaisorblade
Reviewed-by: JasonGross
Reviewed-by: Zimmi48
Ack-by: jfehrle
Reviewed-by: ppedrot







Changelog for variance syntax
2020-11-16T10:21:16+00:00

Gaëtan Gilbert

2020-09-01T10:20:37+00:00

e511ef1aff7d2103ad6189f3fa79c456c2a42392