Fast-forward v2.0-release (branch) to v2.0 (tag)#2856

Merged

MatthewDaggitt merged 23 commits intoagda:v2.0-releasefrom

shhyou:v2.0-release-ff

Nov 3, 2025

Commits on Oct 20, 2023

Spellcheck CHANGELOG (#2167)
jamesmckinna
authored

Commits on Oct 21, 2023

Commits on Nov 3, 2023

Make decidable versions of sublist functions the default (#2186)
MatthewDaggitt
authored

Commits on Nov 5, 2023

[ fix #1743 ] move README to `doc/` directory (#2184)

gallais
and
MatthewDaggitt
authored

Commits on Nov 14, 2023

documentation: fix link to `installation-guide`, `README.agda`, `README.md`... (#2197)

jamesmckinna
and
gallais
authored

Commits on Nov 15, 2023

easy deprecation; leftover from `v1.6` perhaps? (#2203)
jamesmckinna
authored

Commits on Nov 16, 2023

fix Connex comment (#2204)
Jesin
authored

Commits on Nov 17, 2023

Add `Function.Consequences.Setoid` (#2191)
MatthewDaggitt
authored

Commits on Nov 21, 2023

Deprecating `Relation.Binary.PropositionalEquality.isPropositional` (#2205)
jamesmckinna
authored

Commits on Nov 24, 2023

definition of `Irreducible` and `Rough`; refactoring of `Prime` and `Composite` cf. #2180 (#2181)

jamesmckinna
and
MatthewDaggitt
authored

Commits on Nov 25, 2023

Commits on Nov 26, 2023

Commits on Nov 29, 2023

Fix #2216 by making divisibility definitions records (#2217)

MatthewDaggitt
and
jamesmckinna
authored

Commits on Dec 6, 2023

Fix deprecated modules (#2224)

alexarice
and
gallais
authored

Commits on Dec 11, 2023

Final admin changes for v2.0 release (#2225)
MatthewDaggitt
authored