aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog/01-kernel
AgeCommit message (Expand)Author
2021-04-01changelog for 8.13.2Enrico Tassi
2021-03-26Document as critical.Guillaume Melquiond
2021-03-26Adding a changelog.Pierre-Marie Pédrot
2021-02-26Delay the dynamic linking of native-code libraries until native_compute is ca...Guillaume Melquiond
2021-02-22changelog for 8.13.1Enrico Tassi
2021-02-20Update doc/changelog/01-kernel/13867-changelog-for-13867.rstEnrico Tassi
2021-02-20add changelog for 13867Enrico Tassi
2021-01-04Document the change of case representation.Pierre-Marie Pédrot
2020-12-06[doc] update changes after 13501Enrico Tassi
2020-12-03[changelog] update markupEnrico Tassi
2020-12-03Changes for Coq 8.13Matthieu Sozeau
2020-11-27[kernel] Fix #13495: incompleteness in cases typing for cumulative inductive ...Matthieu Sozeau
2020-11-13Make the universe of primitive arrays irrelevantGaëtan Gilbert
2020-11-05Changelog for 8.12.1.Théo Zimmermann
2020-08-18Fix subject reduction VS cumulative inductives and function etaGaëtan Gilbert
2020-07-08Adding change log.Hugo Herbelin
2020-07-06Primitive persistent arraysMaxime Dénès
2020-07-01UIP in SPropGaëtan Gilbert
2020-05-14Add a changelog for 8.11.2.Pierre-Marie Pédrot
2020-04-13Fix #11783 Require in SectionGaëtan Gilbert
2020-04-03Adding changelog for 8.11.1.Pierre-Marie Pédrot
2020-03-12Add changelog entrySimonBoulier
2020-01-22Move new entries in 8.11.0 changelog.Théo Zimmermann
2020-01-22Changelog for 8.11.0.Théo Zimmermann
2020-01-22Fix #11421 computation of Set+2Gaëtan Gilbert
2020-01-13Native compute: cleanup temporary files on program exitGaëtan Gilbert
2020-01-06Fix #11360: discharge of template inductive with param only use of varGaëtan Gilbert
2019-12-02Move unreleased changelog to new 8.11 section.Théo Zimmermann
2019-11-28[changelog] Add types to changelog entries.Théo Zimmermann
2019-11-28Fix extension of changelog file.Théo Zimmermann
2019-11-01docs: Add entry in changelogErik Martin-Dorel
2019-10-24Release notes for Coq 8.10.1Vincent Laporte
2019-10-16Fix a De Bruijn bug in the computation of term relevance in the kernel.Pierre-Marie Pédrot
2019-10-05Changelog for SProp onGaëtan Gilbert
2019-09-25Adding documentation for the move of sections data to kernel.Pierre-Marie Pédrot
2019-09-12Release notes for 8.10+beta3.Théo Zimmermann
2019-08-26Document `Template Check` flag and add changelog entry for 9918Matthieu Sozeau
2019-07-08Adding a changelog.Pierre-Marie Pédrot
2019-05-05Create categories in changelog.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:05:30 +0000