Release coccinelle-0.1.8
[bpt/coccinelle.git] / docs / manual / macros_common.tex
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}}
13
14
15
16 \newcommand{\sizecodebis}[0]{\scriptsize}
17
18 \newcommand{\mita}[1]{\mbox{\it{{#1}}}}
19 \newcommand{\mtt}[1]{\mbox{\tt{{#1}}}}
20 \newcommand{\msf}[1]{\mbox{\sf{{#1}}}}
21 \newcommand{\stt}[1]{\mbox{\scriptsize\tt{{#1}}}}
22 \newcommand{\ssf}[1]{\mbox{\scriptsize\sf{{#1}}}}
23 \newcommand{\sita}[1]{\mbox{\scriptsize\it{{#1}}}}
24 \newcommand{\mrm}[1]{\mbox{\rm{{#1}}}}
25 \newcommand{\mth}[1]{\({#1}\)}
26 \newcommand{\entails}[2]{\begin{array}{@{}c@{}}{#1}\\\hline{#2}\end{array}}
27 \newcommand{\ttlb}{\mbox{\tt \char'173}}
28 \newcommand{\ttrb}{\mbox{\tt \char'175}}
29 \newcommand{\ttmid}{\mbox{\tt \char'174}}
30 \newcommand{\tttld}{\mbox{\tt \char'176}}
31
32 \newcommand{\fixme}[1]{{\color{red} #1}}
33
34
35 %------------------------------------------------------------------------------
36 %%%Squeeze space in bibliographybg
37 % \let\oldthebibliography=\thebibliography
38 % \let\endoldthebibliography=\endthebibliography
39 % \renewenvironment{thebibliography}[1]{%
40 % \begin{oldthebibliography}{#1}%
41 % \setlength{\parskip}{0ex}%
42 % \setlength{\itemsep}{0ex}%
43 % }%
44 % {%
45 % \end{oldthebibliography}%
46 % }
47
48
49 %------------------------------------------------------------------------------
50
51 %christian lindig tricks:
52 % http://www.st.cs.uni-saarland.de/~lindig/tex.html
53
54 %\newif\ifdraft\drafttrue
55
56 %see overfull
57 %\ifdraft
58 %\overfullrule3pt
59 %\fi
60
61
62
63 %\def\<#1>{\texttt{#1}}
64 %Now I can write \<some code here>, which feels more natural
65 % in the editor than \texttt{some code here}.