equal
deleted
inserted
replaced
19 |
19 |
20 % ---------------------------------------------------------------- |
20 % ---------------------------------------------------------------- |
21 \vfuzz2pt % Don't report over-full v-boxes if over-edge is small |
21 \vfuzz2pt % Don't report over-full v-boxes if over-edge is small |
22 \hfuzz2pt % Don't report over-full h-boxes if over-edge is small |
22 \hfuzz2pt % Don't report over-full h-boxes if over-edge is small |
23 % ---------------------------------------------------------------- |
23 % ---------------------------------------------------------------- |
24 |
|
25 \def\RCS$#1: #2 ${\expandafter\def\csname RCS#1\endcsname{#2}} |
|
26 \RCS$Revision$ |
|
27 \RCS$Date$ |
|
28 \newcommand{\versioninfo}{Version \RCSRevision; Last commit \RCSDate} |
|
29 |
24 |
30 % diagrams ------------------------------------------------------- |
25 % diagrams ------------------------------------------------------- |
31 % figures --------------------------------------------------------- |
26 % figures --------------------------------------------------------- |
32 %%% borrowed from Dror's cobordisms paper, use this to include eps or pdf graphics. |
27 %%% borrowed from Dror's cobordisms paper, use this to include eps or pdf graphics. |
33 \ifpdf |
28 \ifpdf |