equal
deleted
inserted
replaced
1 \newcommand{\IMPORTANT}{% |
1 \newcommand{\IMPORTANT}{% |
2 \noindent |
2 \noindent |
3 \textbf{Important:} |
3 \textbf{Important} |
4 |
4 |
5 \begin{itemize} |
5 \begin{itemize} |
6 \item Make sure the files you submit can be processed by just calling\\ |
6 \item Make sure the files you submit can be processed by just calling\\ |
7 \mbox{\texttt{scala <<filename.scala>>}} on the commandline.\footnote{All |
7 \mbox{\texttt{scala <<filename.scala>>}} on the commandline.\footnote{All |
8 major OSes, including Windows, have a commandline. So there is no |
8 major OSes, including Windows, have a commandline. So there is no |