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

Refactor syntax files #87

Open
whonore opened this issue Apr 6, 2020 · 1 comment
Open

Refactor syntax files #87

whonore opened this issue Apr 6, 2020 · 1 comment
Labels
cleanup highlighting

Comments

@whonore
Copy link
Owner

whonore commented Apr 6, 2020

The syntax files for coq, coq-goals, and coq-infos have a lot of redundancy and some inconsistency. It would be better to define a common files that each can source and then add additional rules as needed.
@whonore whonore mentioned this issue Jul 10, 2020
Closed
@j-hui j-hui mentioned this issue Aug 23, 2020
Closed
This was referenced Dec 5, 2020
Closed
Open
Open
Open
Open
@Iron-E
Copy link

Iron-E commented Dec 5, 2020

I linked several individual issues here for easier tracking. I might attempt to dig into the file and perform individual fixes, although I have some other PRs to attend to first.

@whonore whonore mentioned this issue Dec 30, 2020
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
cleanup highlighting
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@whonore @Iron-E