team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)
BSD 3-Clause "New" or "Revised" License
5 stars 3 forks source link

Syntax highlighting of operators is inconsistent #31

Closed jspam closed 12 years ago

jspam commented 12 years ago

While normal operators such as =, >=, !, and != are not highlighted in the source code, the Unicode operators , ¬, , are. This should be made consistent.