wrestlers.tex: Let `\section' act as a section header in the source.
[doc/wrestlers] / wrslides.cls
1 \newif\ifwrslides \wrslidestrue
2 \InputIfFileExists{wr.cfg}\relax\relax
3
4 \ifwrslides
5 \PassOptionsToClass{a4, slidesonly}{mdwslides}
6 \else
7 \PassOptionsToClass{a4, article, twoside}{mdwslides}
8 \fi
9 \LoadClass{mdwslides}
10
11 \newif\ifpdf
12 \if0\ifx\pdfoutput\@@undefined0\else\the\expandafter\pdfoutput\fi
13 \PassOptionsToPackage{dvips}{xy}
14 \pdffalse
15 \else
16 \AtBeginDocument{
17 \ifarticle\else
18 \setslidelength{\pdfpagewidth}{\paperheight}
19 \setslidelength{\pdfpageheight}{\paperwidth}
20 \pdfhorigin=1 true in
21 \pdfvorigin=1 true in
22 \fi
23 }
24 \pdftrue
25 \fi
26
27 \RequirePackage{mdwlist}
28 \RequirePackage[T1]{fontenc}
29 \RequirePackage{colour}
30 \RequirePackage{mdwmath}
31 \RequirePackage{crypto}
32 \RequirePackage[all]{xy}
33 \RequirePackage{tabularx}
34 \RequirePackage{mathenv}
35 \RequirePackage{graphicx}
36 \RequirePackage[palatino, helvetica, courier, maths = cmr]{mdwfonts}
37 \RequirePackage{mdwthm}
38 \RequirePackage{multicol}
39
40 \def\Nupto#1{\{0, 1, \ldots, #1 - 1\}}
41 \def\Bin{\{0, 1\}}
42 \let\op\star
43 \let\le\leqslant
44 \let\ge\geqslant
45 \let\epsilon\varepsilon
46
47 \def\poly{\mathop{\operator@font{poly}}}
48
49 \def\description{%
50 \basedescript{%
51 \let\makelabel\textit%
52 \desclabelstyle\multilinelabel%
53 \desclabelwidth{1in}%
54 }%
55 }
56
57 \let\protocolstyle\small
58 \newskip\protocolskip
59 \protocolskip\parskip
60 \def\protocol{%
61 \protocolstyle%
62 \vskip\protocolskip%
63 \begin{tabular*}{\linewidth}{@{\qquad}l@{\extracolsep{0ptplus1fil}}r@{\qquad}}}
64 \def\endprotocol{\end{tabular*}}
65
66 \makeatother
67 \def\send#1#2{\noalign{%
68 \centerline{\xy\ar @{#1}|*+{\mathstrut#2}<.5\linewidth, 0pt>\endxy}}}
69 \makeatletter
70 \errorcontextlines=999
71
72 \newcommand{\E}{{\mathcal{E}}}
73
74 \def\Wident{\Xid{W}{ident}}
75 \def\Wkx{\Xid{W}{kx}}
76
77 \def\other{\colour{blue}}
78 \def\diff{\colour{red}}
79
80 \title{The Wrestlers Protocol}
81
82 \endinput