Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
iris-coq
theories
proofmode
ltac_tactics.v
Find file
Blame
History
Permalink
Fix issue w.r.t. overly eager TC resolution introduced in !254.
· ec161a20
Robbert Krebbers
authored
Jun 06, 2019
ec161a20