Skip to content
GitLab
Explore
Sign in
Glen Mével
Iris
Repository
iris
tests
proofmode.ref
Find file
Blame
History
Permalink
Coq master got 'better' at ltac backtraces, so we have to name some more functions
· 045c2d15
Ralf Jung
authored
Oct 04, 2018
045c2d15