Syntax highlighting

[tkw1536]

Add support for Syntax highlighting. SML Syntax Highlighting would be really useful for GenCS.

[kohlhase]

I am not sure what you mean by this. Where do you want syntax to be highlighted in PantaRhei?

[tkw1536]

In answers / questions posted by users.

[kohlhase]

Ah, that is true, but then we would have to have some way of telling the system that a string is SML (we cannot really just syntax-highlight all text with SML). I can see how to do that in LaTeX
\begin{lstlisting}[language=ML]
fun foo x = x
\end{lstlisting}
but not in plain text.
But maybe this is an incentive to use LaTeX (but we have to test it first).