8000 [parser] initialization based on Loc.t rather than Loc.source by gares · Pull Request #9830 · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

[parser] initialization based on Loc.t rather than Loc.source#9830

Merged
ejgallego merged 1 commit intorocq-prover:masterfrom
gares:parser-init-loc
Mar 29, 2019
Merged

[parser] initialization based on Loc.t rather than Loc.source#9830
ejgallego merged 1 commit intorocq-prover:masterfrom
gares:parser-init-loc

Commits

Commits on Mar 29, 2019
0