aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog/10-standard-library
AgeCommit message (Expand)Author
2020-11-16Merge PR #13365: Fix proof of Coq.Program.Wf.Fix_F_inv to be axiom-freecoqbot-app[bot]
2020-11-13Add changelog for #13365Li-yao Xia
2020-11-04[stdlib] Decidable instance for negationYishuai Li
2020-09-07Add changelog entryEdward Wang
2020-08-25Require NsatzTactic: nsatz support for Z and QJason Gross
2020-08-24Put cyclic numbers in sort Set instead of TypeVincent Semeria
2020-08-13Merge PR #12799: [stdlib] [List] Additional statements about List.repeatAnton Trunov
2020-08-13Merge PR #12716: deprecate prod_curry and prod_uncurryAnton Trunov
2020-08-13Merge PR #12556: Bring Float notations in line with stdlibHugo Herbelin
2020-08-12Additional statements about List.repeatOlivier Laurent
2020-08-11add deprecation to changelogYishuai Li
2020-08-09Bring Int63 notations into line with stdlibJason Gross
2020-08-09Bring Float notations in line with stdlibJason Gross
2020-06-10Update changelog for 8.12+beta1.Théo Zimmermann
2020-06-09Merge PR #12484: Fix #12483 Incorrect specification of PrimFloat.lebGuillaume Melquiond
2020-06-09CReal: changed epsilon for modulus of convergence from 1/n to 2^zMichael Soegtrop
2020-06-08Fix 12483Pierre Roux
2020-05-27Release notes for 8.12.Théo Zimmermann
2020-05-16Prove that classical reals implement constructive reals. Also move sums, min ...Vincent Semeria
2020-05-15Merge PR #11992: do not re-export ListNotations from ProgramAnton Trunov
2020-05-12Merge PR #12162: Fixing #12161: rename Bool.leb into Bool.leAnton Trunov
2020-05-12fuse changelogs for #11249 and #12237Olivier Laurent
2020-05-09Merge PR #12237: [stdlib] [List] add results around incl, filter and nthHugo Herbelin
2020-05-09Merge PR #12263: HaskellExtr: Add type annotations to Prelude.==Kazuhiko Sakaguchi
2020-05-08Merge PR #12121: Fixes #11903 and warns about non truly-recursive (co)fixpointsPierre-Marie Pédrot
2020-05-07rename Bool.leb into Bool.le (same for ltb and compareb)Olivier Laurent
2020-05-06Merge PR #12008: [stdlib] Add order properties about boolAnton Trunov
2020-05-06HaskellExtr: Add type annotations to Prelude.==Jason Gross
2020-05-06Adding properties about implb.Hugo Herbelin
2020-05-04add order properties about boolOlivier Laurent
2020-05-04add incl_Forall_in_iffOlivier Laurent
2020-05-04add incl_map incl_filter NoDup_filterOlivier Laurent
2020-05-02Adding change logs for PR #12121.Hugo Herbelin
2020-04-30do not re-export ListNotations from Program: changelogAntonio Nikishaev
2020-04-24[nsatz] Use Export rather than IncludeJason Gross
2020-04-24Split off Nsatz tactic part into NsatzTacticJason Gross
2020-04-23Merge PR #12120: Fixing #12119 : remove useless hypothesis in NoDup_Permutati...Hugo Herbelin
2020-04-22Merge PR #12031: [stdlib] A library on cyclic permutations: CPermutationHugo Herbelin
2020-04-21Merge PR #12014: [stdlib] Add properties of operations on vectorsHugo Herbelin
2020-04-19added changelog for PR 12044ilya
2020-04-19A library on cyclic permutations: CPermutationOlivier Laurent
2020-04-19remove useless hypothesis in NoDup_Permutation_bisOlivier Laurent
2020-04-14Merge PR #11957: [stdlib] update sigma-type notationsHugo Herbelin
2020-04-11add properties of operations on vectorsOlivier Laurent
2020-04-08Merge PR #11909: Make the level of ≡ in Int63 consistent with =Hugo Herbelin
2020-04-03Merge PR #11996: [stdlib] Add changelog for PR #11249Anton Trunov
2020-04-02Merge pull request #11993 from olaure01/ollibs-wfnat-changelogAnton Trunov
2020-04-01Merge PR #9803: Adding more trigonometry in RealsHugo Herbelin
2020-04-01Merge pull request #11946 from olaure01/ollibs-permutationAnton Trunov
2020-04-01Add changelog for PR #11249Olivier Laurent
generated by cgit v1.2.3 (git 2.25.1) at 2026-09-25 06:18:42 +0000