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.

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

Fix Coq-related bug #678 #1648

Merged
merged 3 commits into from Jan 4, 2021
Merged

Fix Coq-related bug #678 #1648

merged 3 commits into from Jan 4, 2021

Commits on Dec 28, 2020

  1. Unicode support for Coq 

    Catch-all lexing for `Name.Builtin.Pseudo`, as in the lean lexer.

This fixes #678.
    Maximilian Wuttke committed Dec 28, 2020
    Configuration menu
    Copy the full SHA
    a1e8e27 View commit details
    Browse the repository at this point in the history

  2. Coq lexer: improve analyse_text

    Maximilian Wuttke committed Dec 28, 2020
    Configuration menu
    Copy the full SHA
    2ce788d View commit details
    Browse the repository at this point in the history

  3. Add a test for Coq

    Maximilian Wuttke committed Dec 28, 2020
    Configuration menu
    Copy the full SHA
    02cd333 View commit details
    Browse the repository at this point in the history