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.

Sign up for GitHub

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

Jump to bottom

[coq] use ListNotations explicitly #85

Merged

spitters merged 1 commit into coq-community:master from llelf:no-reexports

May 6, 2020

Contributor

llelf commented May 1, 2020

overlay for coq/coq#11992
it's backward-compatible, can be merged now.


          don't rely on Program.Syntax re-exporting ListNotations

778b0c4

overlay for coq/coq#11992

llelf mentioned this pull request

do not re-export ListNotations from Program coq/coq#11992

Merged

9 tasks

Contributor Author

llelf commented May 6, 2020

ping

spitters merged commit 76dd3ec into coq-community:master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment