fix: adapt to module system, now 'public section' prints#876

robsimmons merged 1 commit into

nightly-testingleanprover/reference-manual:nightly-testingfrom

bump-2026-06-25-eleanprover/reference-manual:bump-2026-06-25-eCopy head branch name to clipboard