Skip to content

Message fix#865

Open
Matafou wants to merge 4 commits intoProofGeneral:masterfrom
Matafou:message-fix
Open

Message fix#865
Matafou wants to merge 4 commits intoProofGeneral:masterfrom
Matafou:message-fix

Commits

Commits on Jan 24, 2026

Commits on Apr 17, 2026