8000 fix: make prefix `!` require that there be no whitespace after it by kmill · Pull Request #5826 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

fix: make prefix ! require that there be no whitespace after it#5826

Draft
kmill wants to merge 2 commits intoleanprover:masterfrom
kmill:nows_not
Draft

fix: make prefix `!` require that there be no whitespace after it#5826
kmill wants to merge 2 commits intoleanprover:masterfrom
kmill:nows_not

Commits

Commits on Oct 23, 2024

Commits on Oct 24, 2024
0