Skip to content

Adapt to coq/coq#8829 (Error when [foo.(bar)] is used with nonprojection [bar])

Gaëtan Gilbert requested to merge (removed):proj-syntax-check into master

Merge request reports