entcs.cls revision 6a4fa2d53294f484fa8788a75656eff4ad1fd703
7f7460e7095628f3437b116ee78d3043d11f8febChristian Maeder%% You are not allowed to distribute this file.
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder%% For distribution of the original source see
2eeec5240b424984e3ee26296da1eeab6c6d739eChristian Maeder%% the copyright notice in the file esl.dtx .
57d320fc4d0fe1a1c08cfe6cd9ebec09b86c2cbfTill Mossakowski \def\@journal{Electronic Notes in Theoretical Computer Science}
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder [\esp@filedate, \esp@fileversion: \@journal]
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder\ifpdf\RequirePackage[raiselinks=false,colorlinks=true,citecolor=blue,urlcolor=blue,linkcolor=blue,bookmarksopen=true,pdftex]{hyperref}\else
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder\RequirePackage[raiselinks=false,colorlinks=true,citecolor=blue,urlcolor=blue,linkcolor=blue,bookmarksopen=true,dvips]{hyperref}\fi
0206ab93ef846e4e0885996d052b9b73b9dc66b0Christian Maeder\DeclareOption{oneside}{\@twosidefalse \@mparswitchfalse}
2272b992302eb61b2a039033cb8cdaf7809fe682Christian Maeder\DeclareOption{twoside}{\@twosidetrue \@mparswitchtrue}
0206ab93ef846e4e0885996d052b9b73b9dc66b0Christian Maeder\DeclareOption{onecolumn}{\@twocolumnfalse\@TwoColumnfalse}
0206ab93ef846e4e0885996d052b9b73b9dc66b0Christian Maeder\DeclareOption{twocolumn}{\@twocolumntrue\@TwoColumntrue}
0206ab93ef846e4e0885996d052b9b73b9dc66b0Christian Maeder \def\@docty{EN}\gdef\@articletype{Erratum}%
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder \def\query{\marginpar{???}}% % mark author queries in proof
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder \overfullrule 5\p@ % to indicate overfull boxes
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\DeclareOption{capcas}{\typeout {* `capcas' option ignored *}}
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder\DeclareOption{debug}{\typeout{* Debugging is on *}\@debugtrue
2de8dfc30c926ee27254bfa32230a01435530efeKlaus Luettich\@seceqnfalse % Default: equation numbering is not
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder\DeclareOption{seceqn}{\@seceqntrue} % reset at beginning of each section
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm}
eac3174ea16c143bfaeb3f2e2103a11a2f162c6cChristian Maeder\DeclareOldFontCommand{\cal}{\normalfont\rmfamily}{\mathcal}
cd6e5706893519bfcf24539afa252fcbed5097ddKlaus Luettich\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}
9603ad7198b72e812688ad7970e4eac4b553837aKlaus Luettich\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
da955132262baab309a50fdffe228c9efe68251dCui Jian\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
f64f3dc78de82101483fe97bf109a42ca4d59d77Klaus Luettich\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}
ef7d1a1d5454458d46b9acefeda94b12bdc695b2Christian Maeder\def\@abstractsize{\fontsize{\@viiipt}{8pt}\selectfont}
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder\def\@articletypesize{\fontsize{\@xipt}{11pt}\selectfont}
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\def\normalsize{\@setfontsize\normalsize\@xipt{14.5}%
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder\abovedisplayskip 12\p@ \@plus 2\p@ \@minus 2\p@%
eac3174ea16c143bfaeb3f2e2103a11a2f162c6cChristian Maeder\belowdisplayshortskip 3.5\p@ \@plus 2\p@ \@minus 2\p@
7bf4436b6f9987b070033a323757b206c898c1beChristian Maeder\def\small{\@setfontsize\small\@viiipt{8}%{13.6}%
7bf4436b6f9987b070033a323757b206c898c1beChristian Maeder\belowdisplayshortskip 6.5\p@ plus3.5\p@ minus3\p@
33c33fde308de14d34177617a28524312f5f0ad8Christian Maeder \parsep 4.5\p@ plus2\p@ minus\p@ \itemsep 5\p@%\parsep
eac3174ea16c143bfaeb3f2e2103a11a2f162c6cChristian Maeder%\def\footnotesize{\@setsize\footnotesize{9\p@}\ixpt\@xpt}
eac3174ea16c143bfaeb3f2e2103a11a2f162c6cChristian Maeder\def\scriptsize{\@setfontsize\scriptsize\@viiipt{8}}
63324a97283728a30932828a612c7b0b0f687624Christian Maeder\@bls=\baselineskip % expressed in terms of this.
63324a97283728a30932828a612c7b0b0f687624Christian Maeder%\if@twoside % Values for two-sided printing:
63324a97283728a30932828a612c7b0b0f687624Christian Maeder% \oddsidemargin 50\p@ % Left margin on odd-numbered pages.
209f37a7f7b3c61e5dc1a90bd83b65a24c8be3faChristian Maeder% \evensidemargin 10\p@ % Left margin on even-numbered pages.
63324a97283728a30932828a612c7b0b0f687624Christian Maeder% \marginparwidth 10\p@ % \@Width of marginal notes.
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder \oddsidemargin 37.25\p@ % Left margin on odd-numbered pages.
04d04d19fdd5320953c78ad5b6d2d11f85bc4bcfChristian Maeder \evensidemargin 37.25\p@ % Left margin on even-numbered pages.
7bf4436b6f9987b070033a323757b206c898c1beChristian Maeder\marginparsep 20\p@ % Horizontal space between outer margin and
f64f3dc78de82101483fe97bf109a42ca4d59d77Klaus Luettich\topmargin \z@ % Nominal distance from top of page to top of
7c8051ef91610c696bc9fa2e61ad1b153fbe7ce0Klaus Luettich\headheight \z@ % \@Height of box containing running head.
d4cb5f03c55f0aeff72f06dac61e1af24479ddd9Rainer Grabbe\headsep \z@ % Space between running head and text.
d4cb5f03c55f0aeff72f06dac61e1af24479ddd9Rainer Grabbe\bigskipamount=\@bls \@plus 0.3\@bls \@minus 0.3\@bls % 1/1 line
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\smallskipamount=0.25\bigskipamount % 1/4 line
64325303fc09fc4d88ced49be11ff2d29966422aCui Jian\textheight 44\baselineskip %44? 42? \@Height of text (including footnotes
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\advance\textheight\topskip % and figures, excluding running head and foot).
7bf4436b6f9987b070033a323757b206c898c1beChristian Maeder\columnseprule \z@ % \@Width of rule between columns.
709653bffee501341e2fdc55b9223e4921047c65Till Mossakowski\skip\footins 12\p@ \@plus 8\p@ % Space between last line of text and
5efed683fd173e9d53bd5f1929ba5b0c8a228710Christian Maeder\floatsep 8\p@ \@plus 4\p@ \@minus 2\p@ % Space between adjacent floats moved
64325303fc09fc4d88ced49be11ff2d29966422aCui Jian\textfloatsep 8\p@ \@plus 4\p@\@minus 2\p@ % Space between main text and
64325303fc09fc4d88ced49be11ff2d29966422aCui Jian\intextsep 8\p@ \@plus 4\p@ \@minus 2\p@ %Space between in-text figures and
afe76697dd6888856a066934a1112a38809b27faChristian Maeder\dblfloatsep 8\p@ \@plus 4\p@ \@minus 4\p@ %Same as \floatsep for double-column
57d320fc4d0fe1a1c08cfe6cd9ebec09b86c2cbfTill Mossakowski\dbltextfloatsep 12\p@ \@plus 4\p@ \@minus 4\p@ %\textfloatsep for double-column
da955132262baab309a50fdffe228c9efe68251dCui Jian\@fptop \z@ \@plus 1fil % Stretch at top of float page/column. (Must be
63324a97283728a30932828a612c7b0b0f687624Christian Maeder\@fpsep 8\p@ \@plus 2fil % Space between floats on float page/column.
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\@fpbot \z@ \@plus 1fil % Stretch at bottom of float page/column. (Must be
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich % \z@ \@plus ... )
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\@dblfptop \z@ \@plus 1fil %Stretch at top of float page. (Must be \z@ \@plus ...)
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\@dblfpsep 8\p@ \@plus 2fil % Space between floats on float page.
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\@dblfpbot \z@ \@plus 1fil % Stretch at bottom of float page. (Must be
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich % \z@ \@plus ... )
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\marginparpush 5\p@ % Minimum vertical separation between two marginal
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\parskip 1pt % 1pc \@plus 1\p@ % Extra vertical space between paragraphs.
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\parindent 1.5em % Indentation of each paragraph.
eac3174ea16c143bfaeb3f2e2103a11a2f162c6cChristian Maeder\newskip\eqntopsep % Extra vertical space, in addition to
d4cb5f03c55f0aeff72f06dac61e1af24479ddd9Rainer Grabbe \eqntopsep 4pt plus 1\p@ minus 1\p@ % \parskip, added above and below
7c8051ef91610c696bc9fa2e61ad1b153fbe7ce0Klaus Luettich\newdimen\eqnarraycolsep % Half the space between columns
da955132262baab309a50fdffe228c9efe68251dCui Jian\@lowpenalty 51 % Produced by \nopagebreak[1] or \nolinebreak[1]
da955132262baab309a50fdffe228c9efe68251dCui Jian\@medpenalty 151 % Produced by \nopagebreak[2] or \nolinebreak[2]
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\@highpenalty 301 % Produced by \nopagebreak[3] or \nolinebreak[3]
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\@beginparpenalty -\@lowpenalty % Before a list or paragraph environment.
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\@endparpenalty -\@lowpenalty % After a list or paragraph environment.
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\@itempenalty -\@lowpenalty % Between list items.
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich% \def\section{\@startsection{section}{1}{\z@}{1.5\@bls
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich% \@plus .4\@bls \@minus .1\@bls}{\@bls}{\normalsize\bfseries}}
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\def\part{\@startsection{part}{1}{\z@}{2\@bls \@plus
7c8051ef91610c696bc9fa2e61ad1b153fbe7ce0Klaus Luettich% \def\subsection{\@startsection{subsection}{2}{\z@}{\@bls
da955132262baab309a50fdffe228c9efe68251dCui Jian% \@plus .3\@bls \@minus .1\@bls}{\@bls}{\normalsize\itshape}}
7c8051ef91610c696bc9fa2e61ad1b153fbe7ce0Klaus Luettich\def\subsection{\@startsection{subsection}{2}{\z@}%
7f7460e7095628f3437b116ee78d3043d11f8febChristian Maeder% \def\subsubsection{\@startsection{subsubsection}{3}{\z@}{\@bls
7c8051ef91610c696bc9fa2e61ad1b153fbe7ce0Klaus Luettich% \@plus .2\@bls}{0.0001pt}{\normalsize\itshape}}
833baa690207430f9cc3ca599039954a7840fa30Klaus Luettich\def\subsubsection{\@startsection{subsubsection}{3}{-\lastskip}{-\@bls plus
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\def\paragraph{\@startsection{paragraph}{4}{\z@}{3.25ex plus
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich 2ex \@minus 0.2ex}{0.0001pt}{\normalsize\bfseries}} %was -1em
5fcb1cb8c190e9bfb8d5c06c2e7d7a4b65f361acKlaus Luettich\def\half@em{\hskip 0.5em} \def\lb@part{PART \thepart.\half@em}
eac3174ea16c143bfaeb3f2e2103a11a2f162c6cChristian Maeder\def\lb@subsubsection{\thesubsubsection.\half@em}
7f7460e7095628f3437b116ee78d3043d11f8febChristian Maeder\def\lb@subparagraph{\thesubparagraph.\half@em}
fdf94376fa12e6f685f87741be2f3d02e03c429eChristian Maeder\def\lb@empty@subparagraph{\thesubparagraph}
fdf94376fa12e6f685f87741be2f3d02e03c429eChristian Maeder\def\head@style{\interlinepenalty\@M \hyphenpenalty\@M
fdf94376fa12e6f685f87741be2f3d02e03c429eChristian Maeder \exhyphenpenalty\@M \rightskip 0pt plus 0.5\hsize \relax}
0206ab93ef846e4e0885996d052b9b73b9dc66b0Christian Maeder \def\lb@section{Appendix \thesection.\half@em}
\@listi
\@toodeep
\fi}
\@toodeep
\setleftmargin{i}{--}%
\fi}
\itemindent \z@
\listparindent\z@
\item[]}
\fi
\if@TwoColumn
\fi
\global\@eqnswtrue
\if@seceqn
\fi
\newtheorem{case}{Case}
\if@nameyear
\fi
\if@nameyear
\fi
{\@ifundefined
\@footnotemark}}
\@footnotemark}
\else % ELSE
\fi}
\endgroup}
\endgroup}
%\NoHyper
\global\@topnum\z@
\global\@prefacefalse
\if@TwoColumn
\fi}
\egroup}
\if@firstauthor
\fi}
\par
\fi
\fi
\global\@hasabstracttrue
% \global\@hasabstracttrue
% \leftskip\z@%
% \small
% \ignorespaces}
\parskip\z@
\fi
\fi
\fi
\fi
\fi}
k\or \ell\or m\or n\or o\or p\or q\or r\or s\or t\or u\or v\or w\or x\or
\@ctrerr
\fi
\relax}
\if@TwoColumn
\fi