We're updating the issue view to help you get more done. 

B editor should support highlighting for languages other than classical B

Description

None

Status

Assignee

Unassigned

Reporter

dgelessus

Labels

None

Priority

Major