Is there already a standard way for introducing syntax highlighting for a language (and tag) that did not previously have it?
I would like to have syntax highlighting for the isabelle tag, since code is sometimes hard to read without it.
Meta Stack Exchange is a question and answer site for meta-discussion of the Stack Exchange family of Q&A websites. It only takes a minute to sign up.
Sign up to join this communityIs there already a standard way for introducing syntax highlighting for a language (and tag) that did not previously have it?
I would like to have syntax highlighting for the isabelle tag, since code is sometimes hard to read without it.
That seems to be a rather obscure language. I doubt highlighting will be added for that anytime soon.
Besides, adding highlighting isn't in the hands of SE. SE uses the Prettify engine, which supports the languages listed here. I guess you could write an extension for it. (Not sure if SE would include it, seems like a lot of overhead for 24 questions)