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