Skip to content

TLA+ syntax highlighting support: TLA+ grammar in Skylighting's XML format

Younes IO requested to merge younes-io/syntax-highlighting:younes-io-master-patch-71800 into master

Merge request reports