aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog
AgeCommit message (Expand)Author
2020-05-09Add a `with_strategy` tacticJason Gross
2020-05-09Merge PR #12237: [stdlib] [List] add results around incl, filter and nthHugo Herbelin
2020-05-09Merge PR #12163: Fix #12159 (Numeral Notations do not play well with multiple...Hugo Herbelin
2020-05-09Merge PR #12263: HaskellExtr: Add type annotations to Prelude.==Kazuhiko Sakaguchi
2020-05-08Merge PR #12068: Coqide completion: tentative fix for #11943Pierre-Marie Pédrot
2020-05-08Merge PR #12121: Fixes #11903 and warns about non truly-recursive (co)fixpointsPierre-Marie Pédrot
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-04Merge PR #12211: When TIMED=1, emit timing info for OCaml filesGaëtan Gilbert
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-03Merge PR #12197: LtacProf now handles multi-success backtrackingPierre-Marie Pédrot
2020-05-02Fix #12159 (Numeral Notations do not play well with multiple scopes for the s...Pierre Roux
2020-05-02LtacProf now handles multi-success backtrackingJason Gross
2020-05-02Adding change logs for PR #12121.Hugo Herbelin
2020-05-01Move essential vocabulary and syntax conventions to section on basics.Théo Zimmermann
2020-04-30[zify] add support for Nat.le, Nat.lt and Nat.eqFrédéric Besson
2020-04-29When TIMED=1, emit timing info for OCaml filesJason Gross
2020-04-29Merge PR #11606: [tools] Add memory stats to tables by defaultEmilio Jesus Gallego Arias
2020-04-29Merge PR #12027: Fix #3415: coqdoc links projections rather than constructor ...Emilio Jesus Gallego Arias
2020-04-28Merge PR #11718: Convert syntax extensions chapter to prodnThéo Zimmermann
2020-04-27Merge PR #12073: Split off Nsatz tactic part into Nsatz_tacticPierre-Marie Pédrot
2020-04-26Convert syntax extensions chapter to prodnJim Fehrle
2020-04-24[nsatz] Use Export rather than IncludeJason Gross
2020-04-24Add memory stats to tables by defaultJason Gross
2020-04-24Split off Nsatz tactic part into NsatzTacticJason Gross
2020-04-24CoqIDE: Revert overzealous application of language-based highlighting in #12169.Hugo Herbelin
2020-04-23Merge PR #12120: Fixing #12119 : remove useless hypothesis in NoDup_Permutati...Hugo Herbelin
2020-04-23Merge PR #12034: Make cumulative sprop a typing flag, deprecate command line...Pierre-Marie Pédrot
2020-04-22Merge PR #12031: [stdlib] A library on cyclic permutations: CPermutationHugo Herbelin
2020-04-21Change log for #12023Hugo Herbelin
2020-04-21Change log.Hugo Herbelin
2020-04-21Merge PR #12060: CoqIDE: Disable client-side decoration on WindowsPierre-Marie Pédrot
2020-04-21Merge PR #12116: Fixing #12045: missing normalization in conclusion of custom...Pierre-Marie Pédrot
2020-04-21Merge PR #12014: [stdlib] Add properties of operations on vectorsHugo Herbelin
2020-04-21Merge PR #11883: Fix #7812: autounfold's behavior depends on file namesHugo Herbelin
2020-04-20Merge PR #12126: TIMEFMT: Display the output file nameGaëtan Gilbert
2020-04-20Adding change log for PR #12026 (definitions in coqdoc link to themselves).Hugo Herbelin
2020-04-20TIMEFMT: Display the output file nameJason Gross
2020-04-20Adding change log.Hugo Herbelin
2020-04-20Change log for PR #12045.Hugo Herbelin
2020-04-20Merge PR #12106: Coqide: Apply style scheme and language settings to the thre...Pierre-Marie Pédrot
2020-04-19added changelog for PR 12044ilya
2020-04-19A library on cyclic permutations: CPermutationOlivier Laurent
2020-04-19Merge PR #12033: Let coqdoc be informed by coq about binding variables (incid...Lysxia
2020-04-19remove useless hypothesis in NoDup_Permutation_bisOlivier Laurent
2020-04-17Coqide: Apply style scheme and language to the three buffers.Hugo Herbelin
2020-04-17Deprecate “omega”Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 06:08:40 +0000