Skip to content

Rocq: enable messages for Rocq >= 9.2#850

Open
hendriktews wants to merge 1 commit into
ProofGeneral:masterfrom
hendriktews:message-fix
Open

Rocq: enable messages for Rocq >= 9.2#850
hendriktews wants to merge 1 commit into
ProofGeneral:masterfrom
hendriktews:message-fix

Rocq: enable messages for Rocq >= 9.2

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

Annotations

1 error

The logs for this run have expired and are no longer available.