Skip to content

Keep track of which variables are section variables and use this info to fix bugs#21987

Merged
coqbot-app[bot] merged 17 commits into
rocq-prover:masterfrom
SkySkimmer:context-secvar
Jun 1, 2026
Merged

Keep track of which variables are section variables and use this info to fix bugs#21987
coqbot-app[bot] merged 17 commits into
rocq-prover:masterfrom
SkySkimmer:context-secvar

Rename is_section_variable' -> is_section_variable_env

60156a0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Windows
succeeded Jun 1, 2026 in 41m 33s