Ralf ← Mattermost Feature Proposal Forum My feedback 1 result found Expand syntax highlighting in code blocks to more languages 51 votes Vote Vote Vote Vote We're glad you're herePlease sign in to leave feedback Signed in as (Sign out) Close Close 1 vote 2 votes 3 votes Remove votes You have left! (?) (thinking…) 9 comments · General · Delete… · Admin → How important is this to you? Not at all You must login first! Important You must login first! Critical You must login first! We're glad you're herePlease sign in to leave feedback Signed in as (Sign out) Close Close An error occurred while saving the comment Ralf commented · November 28, 2017 · Delete… +3 from me, we'd like to see Coq syntax highlighting. GitLab does it, so it is kind of funny to not also have it available in the integrated mattermost. Save Submitting... Ralf supported this idea · November 28, 2017
Ralf
+3 from me, we'd like to see Coq syntax highlighting. GitLab does it, so it is kind of funny to not also have it available in the integrated mattermost.