Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
tests
list_reverse.8.10.ref
Find file
Blame
History
Permalink
A Coq bug printing spurious parentheses has been fixed.
· ec3eb238
Hugo Herbelin
authored
Dec 16, 2018
See Coq PR#9214.
ec3eb238