Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Lennard Gäher
Iris
Repository
28e3353432151b5fe1b0748cd53e0e0f65d3be51
Switch branch/tag
iris
CHANGELOG.md
Find file
Blame
History
Permalink
rename more _op and _core lemmas now that those names are available
· 28e33534
Ralf Jung
authored
Feb 10, 2021
28e33534
To find the state of this project's repository at the time of any of these versions, check out
the tags
.