# HG changeset patch # User Christian Urban # Date 1489416852 0 # Node ID 3cbd19ecdc9dcfd8c46ff1d953365d0ed3330bbe # Parent 05fa26637da462e2a2848791260451bfc306a317 updated diff -r 05fa26637da4 -r 3cbd19ecdc9d thys/Paper/document/llncs.cls --- a/thys/Paper/document/llncs.cls Mon Mar 13 14:52:13 2017 +0000 +++ b/thys/Paper/document/llncs.cls Mon Mar 13 14:54:12 2017 +0000 @@ -1,4 +1,4 @@ -% LLNCS DOCUMENT CLASS -- version 2.19 (31-Mar-2014) +% LLNCS DOCUMENT CLASS -- version 2.13 (28-Jan-2002) % Springer Verlag LaTeX2e support for Lecture Notes in Computer Science % %% @@ -19,7 +19,7 @@ %% Right brace \} Tilde \~} %% \NeedsTeXFormat{LaTeX2e}[1995/12/01] -\ProvidesClass{llncs}[2014/03/31 v2.19 +\ProvidesClass{llncs}[2002/01/28 v2.13 ^^J LaTeX document class for Lecture Notes in Computer Science] % Options \let\if@envcntreset\iffalse @@ -35,7 +35,6 @@ \let\if@runhead\iffalse \DeclareOption{runningheads}{\let\if@runhead\iftrue} -\let\if@openright\iftrue \let\if@openbib\iffalse \DeclareOption{openbib}{\let\if@openbib\iftrue} @@ -50,7 +49,6 @@ \LoadClass[twoside]{article} \RequirePackage{multicol} % needed for the list of participants, index -\RequirePackage{aliascnt} \setlength{\textwidth}{12.2cm} \setlength{\textheight}{19.3cm} @@ -77,40 +75,40 @@ \fi} % \def\switcht@albion{% -\def\abstractname{Abstract.}% -\def\ackname{Acknowledgement.}% -\def\andname{and}% -\def\lastandname{\unskip, and}% -\def\appendixname{Appendix}% -\def\chaptername{Chapter}% -\def\claimname{Claim}% -\def\conjecturename{Conjecture}% -\def\contentsname{Table of Contents}% -\def\corollaryname{Corollary}% -\def\definitionname{Definition}% -\def\examplename{Example}% -\def\exercisename{Exercise}% -\def\figurename{Fig.}% -\def\keywordname{{\bf Keywords:}}% -\def\indexname{Index}% -\def\lemmaname{Lemma}% -\def\contriblistname{List of Contributors}% -\def\listfigurename{List of Figures}% -\def\listtablename{List of Tables}% -\def\mailname{{\it Correspondence to\/}:}% -\def\noteaddname{Note added in proof}% -\def\notename{Note}% -\def\partname{Part}% -\def\problemname{Problem}% -\def\proofname{Proof}% -\def\propertyname{Property}% -\def\propositionname{Proposition}% -\def\questionname{Question}% -\def\remarkname{Remark}% -\def\seename{see}% -\def\solutionname{Solution}% -\def\subclassname{{\it Subject Classifications\/}:}% -\def\tablename{Table}% +\def\abstractname{Abstract.} +\def\ackname{Acknowledgement.} +\def\andname{and} +\def\lastandname{\unskip, and} +\def\appendixname{Appendix} +\def\chaptername{Chapter} +\def\claimname{Claim} +\def\conjecturename{Conjecture} +\def\contentsname{Table of Contents} +\def\corollaryname{Corollary} +\def\definitionname{Definition} +\def\examplename{Example} +\def\exercisename{Exercise} +\def\figurename{Fig.} +\def\keywordname{{\bf Key words:}} +\def\indexname{Index} +\def\lemmaname{Lemma} +\def\contriblistname{List of Contributors} +\def\listfigurename{List of Figures} +\def\listtablename{List of Tables} +\def\mailname{{\it Correspondence to\/}:} +\def\noteaddname{Note added in proof} +\def\notename{Note} +\def\partname{Part} +\def\problemname{Problem} +\def\proofname{Proof} +\def\propertyname{Property} +\def\propositionname{Proposition} +\def\questionname{Question} +\def\remarkname{Remark} +\def\seename{see} +\def\solutionname{Solution} +\def\subclassname{{\it Subject Classifications\/}:} +\def\tablename{Table} \def\theoremname{Theorem}} \switcht@albion % Names of theorem like environments are already defined @@ -122,7 +120,7 @@ \def\ackname{Remerciements.}% \def\andname{et}% \def\lastandname{ et}% - \def\appendixname{Appendice}% + \def\appendixname{Appendice} \def\chaptername{Chapitre}% \def\claimname{Pr\'etention}% \def\conjecturename{Hypoth\`ese}% @@ -132,13 +130,13 @@ \def\examplename{Exemple}% \def\exercisename{Exercice}% \def\figurename{Fig.}% - \def\keywordname{{\bf Mots-cl\'e:}}% - \def\indexname{Index}% + \def\keywordname{{\bf Mots-cl\'e:}} + \def\indexname{Index} \def\lemmaname{Lemme}% - \def\contriblistname{Liste des contributeurs}% + \def\contriblistname{Liste des contributeurs} \def\listfigurename{Liste des figures}% \def\listtablename{Liste des tables}% - \def\mailname{{\it Correspondence to\/}:}% + \def\mailname{{\it Correspondence to\/}:} \def\noteaddname{Note ajout\'ee \`a l'\'epreuve}% \def\notename{Remarque}% \def\partname{Partie}% @@ -148,9 +146,9 @@ %\def\propositionname{Proposition}% \def\questionname{Question}% \def\remarkname{Remarque}% - \def\seename{voir}% + \def\seename{voir} \def\solutionname{Solution}% - \def\subclassname{{\it Subject Classifications\/}:}% + \def\subclassname{{\it Subject Classifications\/}:} \def\tablename{Tableau}% \def\theoremname{Th\'eor\`eme}% } @@ -171,13 +169,13 @@ \def\examplename{Beispiel}% \def\exercisename{\"Ubung}% \def\figurename{Abb.}% - \def\keywordname{{\bf Schl\"usselw\"orter:}}% - \def\indexname{Index}% + \def\keywordname{{\bf Schl\"usselw\"orter:}} + \def\indexname{Index} %\def\lemmaname{Lemma}% - \def\contriblistname{Mitarbeiter}% + \def\contriblistname{Mitarbeiter} \def\listfigurename{Abbildungsverzeichnis}% \def\listtablename{Tabellenverzeichnis}% - \def\mailname{{\it Correspondence to\/}:}% + \def\mailname{{\it Correspondence to\/}:} \def\noteaddname{Nachtrag}% \def\notename{Anmerkung}% \def\partname{Teil}% @@ -187,9 +185,9 @@ %\def\propositionname{Proposition}% \def\questionname{Frage}% \def\remarkname{Anmerkung}% - \def\seename{siehe}% + \def\seename{siehe} \def\solutionname{L\"osung}% - \def\subclassname{{\it Subject Classifications\/}:}% + \def\subclassname{{\it Subject Classifications\/}:} \def\tablename{Tabelle}% %\def\theoremname{Theorem}% } @@ -541,29 +539,23 @@ \def\@dotsep{2} -\let\phantomsection=\relax - \def\hyperhrefextend{\ifx\hyper@anchor\@undefined\else -{}\fi} +{chapter.\thechapter}\fi} \def\addnumcontentsmark#1#2#3{% \addtocontents{#1}{\protect\contentsline{#2}{\protect\numberline - {\thechapter}#3}{\thepage}\hyperhrefextend}}% + {\thechapter}#3}{\thepage}\hyperhrefextend}} \def\addcontentsmark#1#2#3{% -\addtocontents{#1}{\protect\contentsline{#2}{#3}{\thepage}\hyperhrefextend}}% +\addtocontents{#1}{\protect\contentsline{#2}{#3}{\thepage}\hyperhrefextend}} \def\addcontentsmarkwop#1#2#3{% -\addtocontents{#1}{\protect\contentsline{#2}{#3}{0}\hyperhrefextend}}% +\addtocontents{#1}{\protect\contentsline{#2}{#3}{0}\hyperhrefextend}} \def\@adcmk[#1]{\ifcase #1 \or \def\@gtempa{\addnumcontentsmark}% \or \def\@gtempa{\addcontentsmark}% \or \def\@gtempa{\addcontentsmarkwop}% - \fi\@gtempa{toc}{chapter}% -} -\def\addtocmark{% -\phantomsection -\@ifnextchar[{\@adcmk}{\@adcmk[3]}% -} + \fi\@gtempa{toc}{chapter}} +\def\addtocmark{\@ifnextchar[{\@adcmk}{\@adcmk[3]}} \def\l@chapter#1#2{\addpenalty{-\@highpenalty} \vskip 1.0em plus 1pt \@tempdima 1.5em \begingroup @@ -595,7 +587,7 @@ \penalty\@highpenalty \endgroup} \def\l@author#1#2{\addpenalty{\@highpenalty} - \@tempdima=15\p@ %\z@ + \@tempdima=\z@ %15\p@ \begingroup \parindent \z@ \rightskip \@tocrmarg \advance\rightskip by 0pt plus 2cm @@ -604,7 +596,7 @@ \textit{#1}\par \penalty\@highpenalty \endgroup} -\setcounter{tocdepth}{0} +%\setcounter{tocdepth}{0} \newdimen\tocchpnum \newdimen\tocsecnum \newdimen\tocsectotal @@ -787,7 +779,6 @@ \llap{\hb@xt@1em{\hss\@makefnmark\ }}\ignorespaces#1} \long\def\@makecaption#1#2{% - \small \vskip\abovecaptionskip \sbox\@tempboxa{{\bfseries #1.} #2}% \ifdim \wd\@tempboxa >\hsize @@ -882,23 +873,14 @@ \@ifundefined{extrasenglish}{}{\addto\extrasenglish{\switcht@albion}}% \@ifundefined{extrasfrenchb}{}{\addto\extrasfrenchb{\switcht@francais}}% \@ifundefined{extrasgerman}{}{\addto\extrasgerman{\switcht@deutsch}}% -\@ifundefined{extrasngerman}{}{\addto\extrasngerman{\switcht@deutsch}}% }{\switcht@@therlang}% -\providecommand{\keywords}[1]{\par\addvspace\baselineskip -\noindent\keywordname\enspace\ignorespaces#1}% } \def\homedir{\~{ }} \def\subtitle#1{\gdef\@subtitle{#1}} \clearheadinfo -% -%%% to avoid hyperref warnings -\providecommand*{\toclevel@author}{999} -%%% to make title-entry parent of section-entries -\providecommand*{\toclevel@title}{0} -% + \renewcommand\maketitle{\newpage -\phantomsection \refstepcounter{chapter}% \stepcounter{section}% \setcounter{section}{0}% @@ -927,8 +909,8 @@ \def\thanks##1{\unskip{}}\def\fnmsep{\unskip}% \instindent=\hsize \advance\instindent by-\headlineindent - \if!\the\toctitle!\addcontentsline{toc}{title}{\@title}\else - \addcontentsline{toc}{title}{\the\toctitle}\fi +% \if!\the\toctitle!\addcontentsline{toc}{title}{\@title}\else +% \addcontentsline{toc}{title}{\the\toctitle}\fi \if@runhead \if!\the\titlerunning!\else \edef\@title{\the\titlerunning}% @@ -952,8 +934,7 @@ \protected@xdef\scratch{\the\tocauthor}% \protected@xdef\toc@uthor{\scratch}% \fi - \addtocontents{toc}{\noexpand\protect\noexpand\authcount{\the\c@auco}}% - \addcontentsline{toc}{author}{\toc@uthor}% +% \addcontentsline{toc}{author}{\toc@uthor}% \if@runhead \if!\the\authorrunning! \value{@inst}=\value{@auth}% @@ -1057,9 +1038,9 @@ \def\@spothm#1[#2]#3#4#5{% \@ifundefined{c@#2}{\@latexerr{No theorem environment `#2' defined}\@eha}% {\expandafter\@ifdefinable\csname #1\endcsname - {\newaliascnt{#1}{#2}% + {\global\@namedef{the#1}{\@nameuse{the#2}}% \expandafter\xdef\csname #1name\endcsname{#3}% - \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#4}{#5}}% + \global\@namedef{#1}{\@spthm{#2}{\csname #1name\endcsname}{#4}{#5}}% \global\@namedef{end#1}{\@endtheorem}}}} \def\@spthm#1#2#3#4{\topsep 7\p@ \@plus2\p@ \@minus4\p@