Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
RefinedC
Merge Requests
!11
Merged
Opened
Dec 10, 2020
by
Rodolphe Lepigre
@lepigre
Maintainer
Options
Ensure variable names do not clash with Coq keywords.
Overview
0
Commits
2
Pipelines
2
Changes
105
This fixes the third point of
#30
.
👍
0
👎
0
