changeset 331 | a2c18456c6b7 |
parent 327 | 9470cd124667 |
child 347 | 22b5294daa2a |
--- a/style.sty Fri Sep 25 08:51:12 2015 +0100 +++ b/style.sty Fri Sep 25 17:39:02 2015 +0100 @@ -41,3 +41,7 @@ \newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}} \definecolor{codegray}{gray}{0.9} + +\newcommand{\HEADER}{{\bf Please submit your solutions via email. Please submit +only ASCII text or PDFs. Every solution should be preceeded by the corresponding +question. Solutions will only be accepted until 30th December!}\bigskip}