equal
deleted
inserted
replaced
39 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}} |
39 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}} |
40 \newcommand{\defn}[1]{\textit{\textbf{#1}}} |
40 \newcommand{\defn}[1]{\textit{\textbf{#1}}} |
41 \newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}} |
41 \newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}} |
42 |
42 |
43 \definecolor{codegray}{gray}{0.9} |
43 \definecolor{codegray}{gray}{0.9} |
|
44 |
|
45 \newcommand{\HEADER}{{\bf Please submit your solutions via email. Please submit |
|
46 only ASCII text or PDFs. Every solution should be preceeded by the corresponding |
|
47 question. Solutions will only be accepted until 30th December!}\bigskip} |