Support development Menhir and Rocq 9.3 proof syntax - #590

Draft

JasonGross wants to merge 3 commits into

AbsInt:masterfrom

theorem-labs:claude/rocq-dev-compat

Commits on Jul 28, 2026

configure: accept development ("unreleased") versions of Menhir

JasonGross
and
claude
committed
MenhirLib: put `Proof.` before the `refine` it belongs to

JasonGross
and
claude
committed
Add in-tree coq-compcert-32.opam without the stale Menhir patch

JasonGross
and
claude
committed