Skip to content
Snippets Groups Projects
Commit 37640c4b authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'proj-syntax-check' into 'master'

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

See merge request !13
parents 680dc403 250e58f4
No related branches found
No related tags found
1 merge request!13Adapt to coq/coq#8829 (Error when [foo.(bar)] is used with nonprojection [bar])
Pipeline #14872 passed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment