Skip to content
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

coq: Add some common keywords and improve recognition of Set and qualified identifiers #2158

merged 1 commit into from
Jun 11, 2022


Copy link

@Lysxia Lysxia commented Jun 5, 2022

No description provided.

@jeanas jeanas merged commit 56f463e into pygments:master Jun 11, 2022
@Lysxia Lysxia deleted the coq branch June 11, 2022 13:47
@Anteru Anteru added this to the 2.13.0 milestone Jun 19, 2022
@Anteru Anteru added the A-lexing area: changes to individual lexers label Aug 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
A-lexing area: changes to individual lexers
None yet

Successfully merging this pull request may close these issues.

None yet

3 participants