Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
docs
iris.sty
Find file
Blame
History
Permalink
Define \List macro and use the more commonly used \vec for denoting lists.
· 68aead2a
Robbert Krebbers
authored
Oct 17, 2016
68aead2a