aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog
AgeCommit message (Expand)Author
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-30do not re-export ListNotations from Program: changelogAntonio Nikishaev
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
2020-04-17Merge PR #11963: NativeCompute Timing: Use real, not user timePierre-Marie Pédrot
2020-04-17Merge PR #11972: Fix require in sectionPierre-Marie Pédrot
2020-04-16NativeCompute Timing: Use real, not user timeJason Gross
2020-04-16Make cumulative sprop a typing flag, deprecate command line -sprop-cumulativeGaëtan Gilbert
2020-04-16Merge PR #12070: Ignore -native-compiler option when disabledPierre-Marie Pédrot
2020-04-16CoqIDE: Disable client-side decoration on WindowsAttila Gáspár
2020-04-15Adding change log for PR #12033 (hyperlinks on binders for coqdoc).Hugo Herbelin
2020-04-15Ignore -native-compiler option when disabledPierre Roux
2020-04-14Merge PR #11957: [stdlib] update sigma-type notationsHugo Herbelin
2020-04-13Fix #11783 Require in SectionGaëtan Gilbert
2020-04-11add properties of operations on vectorsOlivier Laurent
2020-04-11Fix #7812Attila Gáspár
2020-04-10coqdoc: Report location of mismatched '[['Lysxia
2020-04-10Merge PR #11882: Adding a short form of Ltac2 Fresh.freshPierre-Marie Pédrot
2020-04-10Change log for #12068 (Coqide segfault tentative fix).Hugo Herbelin
2020-04-10[obligations] Deprecated flag cleanupEmilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 07:12:13 +0000