-
Notifications
You must be signed in to change notification settings - Fork 7
Issues: coq-community/reglang
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Please create a tag for Coq 8.20 in Coq Platform 2025.01
#75
by MSoegtropIMC
was closed Dec 20, 2024
Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01
#72
by rtetley
was closed Mar 18, 2024
Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10
#64
by rtetley
was closed Oct 5, 2023
Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03
#54
by MSoegtropIMC
was closed Mar 15, 2023
Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09
#47
by MSoegtropIMC
was closed Aug 16, 2022
Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02
#43
by MSoegtropIMC
was closed Jan 21, 2022
Please pick the version you prefer for Coq 8.14 in Coq Platform 2021.11
#34
by MSoegtropIMC
was closed Nov 14, 2021
ProTip!
Add no:assignee to see everything that’s not assigned.