tests/proofmode.v · d88d654b8ba0301030a366ea6757da30ff5e3255 · Gaëtan Gilbert / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

6 years ago
d88d654b
Adding `%I` to printing of proof mode hypotheses. · d88d654b
Robbert Krebbers authored 6 years ago
```
We already do the same for the goal, this avoids some scope
delimiters being displayed.
```
d88d654b

History
Adding `%I` to printing of proof mode hypotheses.
Robbert Krebbers authored 6 years ago
```
We already do the same for the goal, this avoids some scope
delimiters being displayed.
```