error highlighting for tags #97

Open

Labels

Milestone

opened

on Dec 21, 2018

Mark things like (Pair), (Pair 1) , and (Pair 1 2 3) as errors

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

LaterNo due date

Relationships

None yet

Development

No branches or pull requests