Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
iris
theories
proofmode
coq_tactics.v
Find file
Blame
History
Permalink
Fix regression caused by
0b462620
.
· 19e03d37
Robbert Krebbers
authored
Feb 20, 2018
This regression was caused by a bug in handling spec patterns.
19e03d37