Bug 479267

Summary: [Feature request] New Syntax: TLA+
Product: [Frameworks and Libraries] frameworks-syntax-highlighting Reporter: Younes <dev>
Component: syntaxAssignee: KWrite Developers <kwrite-bugs-null>
Status: REPORTED ---    
Severity: wishlist CC: dev, walter.von.entferndt
Priority: NOR    
Version First Reported In: unspecified   
Target Milestone: ---   
Platform: Other   
OS: Other   
URL: https://invent.kde.org/frameworks/syntax-highlighting/-/merge_requests/594
Latest Commit: Version Fixed/Implemented In:
Sentry Crash Report:

Description Younes 2024-01-01 17:18:38 UTC 
MR: https://invent.kde.org/frameworks/syntax-highlighting/-/merge_requests/594

I've developed an XML syntax definition for TLA+ to be used with the Skylighting syntax highlighting library. This addition aims to provide syntax highlighting support for TLA+ code.

I followed the KDE syntax highlighting documentation to build the XML and included definitions for keywords, operators, comments, strings, and numerical values specific to TLA+. 

I'm new to the project so I have not tested it locally. I'd like to have your feedback /comments on this.