search

MathHubInfo / Legacy-Planetary-panta

Legacy PantaRhei
http://panta.kwarc.info
GNU General Public License v2.0
0 stars 0 forks source link

Syntax highlighting #12

Open tkw1536 opened 10 years ago

tkw1536 commented 10 years ago

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

kohlhase commented 10 years ago

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

tkw1536 commented 10 years ago

In answers / questions posted by users.

kohlhase commented 10 years ago

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).