Qualify Constr.in_context for Rocq dev - #19

Draft

JasonGross wants to merge 2 commits into

Matafou:masterfrom

JasonGross:claude/rocq-dev-compat

Commits on Jul 28, 2026

Fix build against Rocq dev (9.4+alpha): qualify Constr.in_context

JasonGross
and
claude
committed
9574016
Fix Not_focussed when LibHyps tactics run under a goal selector

JasonGross
and
claude
committed
a07b5cc