Skip to content

Fix parsing of beginning-of-line Coq comments#2

Open
JasonGross wants to merge 1 commit into
atroyn:mainfrom
JasonGross:patch-2
Open

Fix parsing of beginning-of-line Coq comments#2
JasonGross wants to merge 1 commit into
atroyn:mainfrom
JasonGross:patch-2

Commits

Commits on Jun 16, 2023