Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Matthieu Sozeau
Iris
Repository
iris
README.md
Find file
Blame
History
Permalink
A note about the Iris LaTeX macros in the README.
· 5221eb39
Robbert Krebbers
authored
Jan 30, 2019
Many people using Iris appear to not know these; this may make them easier to find.
5221eb39
