"base_logic/lib/boxes.v" did not exist on "3f9b134d154b6ca9b5a3008bbd7e3904c8b0939f"
Forked from
Iris / Iris
5855 commits behind the upstream repository.
-
Robbert Krebbers authored
This fixes a bug in 916ff44a causing proof mode notations not being pretty printed.
Robbert Krebbers authoredThis fixes a bug in 916ff44a causing proof mode notations not being pretty printed.
