Commit e254fcce authored by Michael Kohlhase's avatar Michael Kohlhase

reorganizing

parent 6545b7af
......@@ -2,6 +2,7 @@
\symdef{CLanguage}{\operatorname{\texttt{C}}}
\symdef{CppLanguage}{\operatorname{\texttt{C}}^{\operatorname{\texttt{++}}}}
\symdef{JavaLanguage}{{\operatorname{\texttt{Java}}}}
\symdef{ScalaLanguage}{{\operatorname{\texttt{Scala}}}}
\symdef{SMLLanguage}{\operatorname{\texttt{SML}}}
\symdef{mozartLanguage}{{\operatorname{\texttt{mOZart}}}}
\symdef{OZLanguage}{{\operatorname{\texttt{OZ}}}}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment