coq/doc/changelog/06-ssreflect, branch master The formal proof system [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












Merge PR #13490: [ssr] Backport ssrbool from MathComp 1.12.0
2020-12-01T18:27:41+00:00

coqbot-app[bot]

2020-12-01T18:27:41+00:00

2eeeba76598258bd5691a9825fd888c350fbcef3

Reviewed-by: gares





Reviewed-by: gares







Backport ssrbool lemmas from MathComp 1.12.0
2020-11-29T13:41:21+00:00

Kazuhiko Sakaguchi

2020-11-26T17:34:35+00:00

86a3d1a4c742a273414c98f6a8b1a99f0d081a98












Testing {in _, _} and {pred _} from ssrbool
2020-11-25T12:52:28+00:00

Cyril Cohen

2020-11-25T12:48:44+00:00

36664ba0ac77968037687634af0cd5a808335cfc












Fixing [dup] and [swap]
2020-11-24T16:03:31+00:00

Cyril Cohen

2020-11-23T16:55:27+00:00

5eb18289189a8a3d71086b12998e85d651970b28












Update doc/changelog/06-ssreflect/13317-ssr_dup_swap_apply_ipat.rst
2020-11-06T14:51:08+00:00

Cyril Cohen

2020-11-06T14:51:08+00:00

54c3b4939e975205b93617e2357014bf95583551

Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>




Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>






Intro pattern extensions for dup, swap and apply
2020-11-06T11:02:43+00:00

Cyril Cohen

2020-11-06T10:32:17+00:00

79c45ec7696923c9d2867b094ca30d6af142dbc8












Changelog for 8.12.1.
2020-11-05T15:47:36+00:00

Théo Zimmermann

2020-11-05T15:47:36+00:00

a6b5a5a66b59750148ead34148cfefd1702a64e0












Update doc/changelog/06-ssreflect/12857-changelog-for-12857.rst
2020-09-10T11:54:13+00:00

Enrico Tassi

2020-09-10T11:54:13+00:00

6cdbbf2896ee09b4787f168070d43b642270c880

Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>




Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>