wrestlers.tex: Let `\section' act as a section header in the source.
[doc/wrestlers] / wrslides.cls
CommitLineData
dff0fad2
MW
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
a6e375a6
MW
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
a6e375a6
MW
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}
dff0fad2 38\RequirePackage{multicol}
a6e375a6
MW
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}}
dff0fad2 75\def\Wkx{\Xid{W}{kx}}
a6e375a6
MW
76
77\def\other{\colour{blue}}
78\def\diff{\colour{red}}
79
80\title{The Wrestlers Protocol}
81
82\endinput