Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
theories
proofmode
tactics.v
Find file
Blame
History
Permalink
Better error message when iApply fails.
· 19af143a
Robbert Krebbers
authored
Jan 20, 2017
The error message accidentally got removed in
e0789039
.
19af143a