git.iko.soy/Idris-dev
on de6bb41 help sign in
Idris-dev/impl-paper/comments.sty
29 lines 880 B history raw
1% $id$
2% KH: created comments style file to allow alternative versions of a document.
4% \newcommand{\red}[1]{#1}
6\usepackage{color}
7\definecolor{BrickRed}{cmyk}{0, .89, .5, 0}
8\newcommand{\red}{\color{BrickRed}}
10\newcommand{\eucommentary}[1]{\(\spadesuit\){\red{\textbf{EC Commentary}: \emph{#1}}\(\spadesuit\)}}
11\newcommand{\euevaluation}[2]{\(\spadesuit\){\red{\textbf{Evaluation Criteria ({#1})}: \emph{#2}}\(\spadesuit\)}}
13\newcommand{\comment}[2]{\(\spadesuit\){\bf #1: }{\rm \sf #2}\(\spadesuit\)}
14\newcommand{\draftpage}{\newpage}
16\newcommand{\FIXME}[1]{[\textbf{FIXME}: #1]}
18%\newcommand{\FIXME}[1]{\wibble}
19\newcommand{\nocomments}{
20\renewcommand{\eucommentary}[1]{}
21\renewcommand{\euevaluation}[2]{}
22\renewcommand{\comment}[2]{}
23\renewcommand{\draftpage}{}
24\renewcommand{\FIXME}[1]{}
27\DeclareOption{final}{\nocomments}
28\DeclareOption{draft}{}
29\ProcessOptions*