Update binary_operator_definitions regex to not stylize commented definitions#362

Merged

FedericoPonzi merged 2 commits intotlaplus:masterfrom FedericoPonzi:issue-361

Jan 24, 2025

+26-3

Commits on Jan 21, 2025

Update test:tlaplus-grammar command to run all grammar tests
FedericoPonzi
committed

Commits on Jan 23, 2025

Update binary_operator_definitions regex to not stylize commented definitions
FedericoPonzi
committed