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

Lean: update to Lean 3 #1415

Merged
merged 1 commit into from
Mar 21, 2020
Merged

Lean: update to Lean 3 #1415

merged 1 commit into from
Mar 21, 2020

Conversation

bryangingechen
Copy link
Contributor

The Lean lexer is used heavily by the leanprover-community zulip chat which relies on pygments via Zulip. However, the lexer is very out of date leading to lots of "red boxes" from lexer failures.

This PR updates the LeanLexer using the fork to Pygments at https://bitbucket.org/gebner/pygments-main/src/default/ . The changes here are primarily the work of @gebner, @Kha, and @rwbarton.

@Anteru Anteru self-assigned this Mar 21, 2020
@Anteru Anteru added the changelog-update Items which need to get mentioned in the changelog label Mar 21, 2020
@Anteru Anteru merged commit 1a17a66 into pygments:master Mar 21, 2020
@Anteru
Copy link
Collaborator

Anteru commented Mar 21, 2020

Merged for the next release, thanks!

@bryangingechen bryangingechen deleted the lean branch March 25, 2020 11:54
@Anteru Anteru removed the changelog-update Items which need to get mentioned in the changelog label Apr 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants