Forked from
Iris / Iris
3503 commits behind the upstream repository.
-
Robbert Krebbers authored
We already do the same for the goal, this avoids some scope delimiters being displayed.
Robbert Krebbers authoredWe already do the same for the goal, this avoids some scope delimiters being displayed.
notation.v 1.72 KiB