Unable to get reference highlighting working; see https://github.com/tree-sitter/tree-sitter/discussions/1326
Added good highlighting example file
Updated & added some grammar rule field names
Modified jlist bullet parsing to reduce number of passes
Fixed bug with lexical precedence of proof step ID periods after names; added tests for this
Terminated jlists upon encountering comma; added tests for this
Added tests ensuring correctness of interactions between proofs and jlists
Unable to get reference highlighting working; see https://github.com/tree-sitter/tree-sitter/discussions/1326 Added good highlighting example file Updated & added some grammar rule field names Modified jlist bullet parsing to reduce number of passes Fixed bug with lexical precedence of proof step ID periods after names; added tests for this Terminated jlists upon encountering comma; added tests for this Added tests ensuring correctness of interactions between proofs and jlists