HCoop / bpt / coccinelle.git / blame
| Commit | Line | Data |
|---|---|---|
| 708f4980 C |
1 | |
| 2 | % Very convenient to add comments on the paper. Just set the boolean | |
| 3 | % to false before sending the paper: | |
| 4 | \newboolean{showcomments} | |
| 5 | \setboolean{showcomments}{true} | |
| 6 | \ifthenelse{\boolean{showcomments}} | |
| 7 | { \newcommand{\mynote}[2]{ | |
| 8 | \fbox{\bfseries\sffamily\scriptsize#1} | |
| 9 | {\small$\blacktriangleright$\textsf{\emph{#2}}$\blacktriangleleft$}}} | |
| 10 | { \newcommand{\mynote}[2]{}} | |
| 11 | ||
| 12 | \newcommand\jl[1]{\mynote{Julia}{#1}} | |
| c3e37e97 | 13 | \newcommand\np[1]{\mynote{Nicolas}{#1}} |
| 708f4980 C |
14 | |
| 15 | \newcommand{\sizecodebis}[0]{\scriptsize} | |
| 16 | ||
| 17 | \newcommand{\mita}[1]{\mbox{\it{{#1}}}} | |
| 18 | \newcommand{\mtt}[1]{\mbox{\tt{{#1}}}} | |
| 19 | \newcommand{\msf}[1]{\mbox{\sf{{#1}}}} | |
| 20 | \newcommand{\stt}[1]{\mbox{\scriptsize\tt{{#1}}}} | |
| 21 | \newcommand{\ssf}[1]{\mbox{\scriptsize\sf{{#1}}}} | |
| 22 | \newcommand{\sita}[1]{\mbox{\scriptsize\it{{#1}}}} | |
| 23 | \newcommand{\mrm}[1]{\mbox{\rm{{#1}}}} | |
| 24 | \newcommand{\mth}[1]{\({#1}\)} | |
| 25 | \newcommand{\entails}[2]{\begin{array}{@{}c@{}}{#1}\\\hline{#2}\end{array}} | |
| 26 | \newcommand{\ttlb}{\mbox{\tt \char'173}} | |
| 27 | \newcommand{\ttrb}{\mbox{\tt \char'175}} | |
| 28 | \newcommand{\ttmid}{\mbox{\tt \char'174}} | |
| 29 | \newcommand{\tttld}{\mbox{\tt \char'176}} | |
| 30 | ||
| 31 | \newcommand{\fixme}[1]{{\color{red} #1}} |