Skip to content

highlight Guarded command (since Coq 8.16)#804

Merged
erikmd merged 1 commit intoProofGeneral:masterfrom yaitskov:GuardedNov 26, 2024

Commits

Commits on Nov 24, 2024