feat: add a stop position field to the parser#10043

david-christiansen merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

david-christiansen:attempt2david-christiansen/lean4:attempt2Copy head branch name to clipboard