8000 [lexer] keyword protected quotation token for arbitrary text by gares · Pull Request #9733 · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

[lexer] keyword protected quotation token for arbitrary text#9733

Merged
ppedrot merged 5 commits intorocq-prover:masterfrom
gares:quotations
Mar 31, 2019
Merged

[lexer] keyword protected quotation token for arbitrary text#9733
ppedrot merged 5 commits intorocq-prover:masterfrom
gares:quotations

Commits

Commits on Mar 31, 2019
0