aboutsummaryrefslogtreecommitdiff
path: root/CHANGES.md
AgeCommit message (Expand)Author
2018-11-08Standardize handling of Automatic Introduction.Jasper Hugunin
2018-11-06Move features that were not backported to 8.9 to the 8.10 section of CHANGES.md.Théo Zimmermann
2018-11-05Merge PR #8815: NArith: add lemmas about numbers and vectorsHugo Herbelin
2018-11-05Pass native and VM flags to the kernel through environmentMaxime Dénès
2018-10-29NArith: implicit length argument for Bv2NYishuai Li
2018-10-29NArith: add lemmas about numbers and vectorsYishuai Li
2018-10-23Encapsulating declarations of primitive string syntax in a module.Hugo Herbelin
2018-10-17Strings: add ByteVectorYishuai Li
2018-10-10Add minimal CHANGES entry about compat notationsJason Gross
2018-10-09Refactoring of Micromega code using a Simplex linear solverFrédéric Besson
2018-10-06Merge PR #8555: Remove section paths from kernel namesPierre-Marie Pédrot
2018-10-05Rename CHANGES to CHANGES.md.Guillaume Melquiond
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 16:25:56 +0000