Merge 8.17 into main (allows for choosing blanks)#65

Merged

jellooo038 merged 34 commits intomainfrom 8.17

Aug 20, 2024

+349-27

Commits on Jul 12, 2023

Commits on Jul 13, 2023

Don't use opam to build and install for now
jim-portegies
committed

Commits on Sep 19, 2023

Adapt to coq/coq#17836 (sort poly)
SkySkimmer
committed

Commits on Oct 20, 2023

Adapt to coq/coq#18174 (Clenv.unify takes cv_pb)
SkySkimmer
committed

Commits on Oct 31, 2023

Merge pull request #29 from SkySkimmer/clenv-unify-cv-pb
jim-portegies
authored

Commits on Nov 7, 2023

Adapt to coq/coq#17836 (sort poly) (#28 )
SkySkimmer
authored

Commits on Nov 15, 2023

Adapt to coq/coq#18280 (case relevance outside case info) (#37 )
SkySkimmer
authored

Commits on Jan 4, 2024

Merge features of version 2.1.1 into coq-master (#46 )
jim-portegies
authored

Commits on Jan 24, 2024

Adapt to coq/coq#18327 (projection opacity) (#41 )
rlepigre
authored

Commits on Jan 28, 2024

Adapt to coq/coq#18529 (no Dyn.anonymous) (#47 )
SkySkimmer
authored

Commits on Feb 9, 2024

Adapt to coq/coq#18624 (Tac2ffi / Tac2val split) (#49 )
SkySkimmer
authored

Commits on Apr 3, 2024

Adapt to coq/coq#18546 . (#48 )
rlepigre
authored

Commits on Apr 22, 2024

Adapt to coq/coq#18880 (#52 )
proux01
authored

Commits on Apr 23, 2024

Adapt to coq/coq#18938 (EConstr.ERelevance) (#53 )
SkySkimmer
authored

Commits on May 3, 2024

Update README.md
jim-portegies
authored

Commits on May 5, 2024

Commits on May 18, 2024

Merge branch 'main' into 8.17, with the type corrector changes
jim-portegies
committed

Commits on Aug 20, 2024

feat: Postponing choices in the Choose tactic (#59 )

jim-portegies
and
jellooo038
authored