Skip to content

Common toggles - #913

Merged
Matafou merged 4 commits into
ProofGeneral:masterfrom
Matafou:common-toggles
Nov 6, 2026
Merged

Matafou merged 4 commits into
ProofGeneral:masterfrom
Matafou:common-toggles

Coq: test the toggle commands without PG.

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

Annotations

1 warning and 1 notice
check-doc-magic (30.1)
succeeded Nov 6, 2026 in 21s