Skip to content

* doc/ProofGeneral.texi: Update generated file

0ce5f06
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Fix checkdoc warnings #834

* doc/ProofGeneral.texi: Update generated file
0ce5f06
Select commit
Loading
Failed to load commit list.
check-doc-magic (29.4)
succeeded Jan 13, 2026 in 27s