tests/proofmode.ref · 045c2d150f1f1a001a4f112d9fac541aae9a030f · Jonas Kastberg / iris · GitLab

Skip to content

GitLab

Explore

Sign in

iris-coq
tests
proofmode.ref

Blame Permalink

Oct 04, 2018
045c2d15

Coq master got 'better' at ltac backtraces, so we have to name some more functions · 045c2d15
Ralf Jung authored Oct 04, 2018

045c2d15

Coq master got 'better' at ltac backtraces, so we have to name some more functions
Ralf Jung authored Oct 04, 2018

Loading