Skip to content

Fix checkdoc warnings#834

Merged
Matafou merged 3 commits intoProofGeneral:masterfrom
MorganJamesSmith:master
Jan 13, 2026
Merged

Fix checkdoc warnings#834
Matafou merged 3 commits intoProofGeneral:masterfrom
MorganJamesSmith:master

Commits

Commits on Jan 9, 2026

Commits on Jan 12, 2026