Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
tests
proofmode.v
Find file
Blame
History
Permalink
remove big_opL from prettification list
· 34f64c8d
Ralf Jung
authored
Jul 04, 2018
List literals reduce with a spurious `emp` at the end, which is not pretty.
34f64c8d