From 4c0b784f7a436d9f3ae0fa9bfc1eb2c18ea36de0 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 10 May 2018 21:37:35 +0000 Subject: apxproof (10may18) git-svn-id: svn://tug.org/texlive/trunk@47665 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/apxproof/README.md | 2 +- Master/texmf-dist/doc/latex/apxproof/apxproof.pdf | Bin 442682 -> 449831 bytes .../texmf-dist/source/latex/apxproof/apxproof.dtx | 225 +++++++++++++++------ Master/texmf-dist/tex/latex/apxproof/apxproof.sty | 111 ++++++---- 4 files changed, 241 insertions(+), 97 deletions(-) diff --git a/Master/texmf-dist/doc/latex/apxproof/README.md b/Master/texmf-dist/doc/latex/apxproof/README.md index de7342c9274..67cad02e316 100644 --- a/Master/texmf-dist/doc/latex/apxproof/README.md +++ b/Master/texmf-dist/doc/latex/apxproof/README.md @@ -34,7 +34,7 @@ in any other directory where LaTeX searches for packages. ## License -Copyright © 2016-2017 by Pierre Senellart. +Copyright © 2016-2018 by Pierre Senellart. This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3 of this license or (at diff --git a/Master/texmf-dist/doc/latex/apxproof/apxproof.pdf b/Master/texmf-dist/doc/latex/apxproof/apxproof.pdf index 48ed383adac..57d28fbd810 100644 Binary files a/Master/texmf-dist/doc/latex/apxproof/apxproof.pdf and b/Master/texmf-dist/doc/latex/apxproof/apxproof.pdf differ diff --git a/Master/texmf-dist/source/latex/apxproof/apxproof.dtx b/Master/texmf-dist/source/latex/apxproof/apxproof.dtx index 602025b0ab1..c1942cc2f26 100644 --- a/Master/texmf-dist/source/latex/apxproof/apxproof.dtx +++ b/Master/texmf-dist/source/latex/apxproof/apxproof.dtx @@ -1,6 +1,6 @@ % \iffalse meta-comment % -% Copyright (C) 2016-2017 by Pierre Senellart +% Copyright (C) 2016-2018 by Pierre Senellart % % This work may be distributed and/or modified under the % conditions of the LaTeX Project Public License, either version 1.3 @@ -24,7 +24,7 @@ % \iffalse %\NeedsTeXFormat{LaTeX2e}[2005/12/01] %\ProvidesPackage{apxproof} -% [2017/05/31 v1.0.5 Automatic proofs in appendix] +% [2018/05/10 v1.0.6 Automatic proofs in appendix] % %<*driver> \documentclass{ltxdoc} @@ -44,7 +44,7 @@ % % \fi % -% \CheckSum{498} +% \CheckSum{562} % % \CharacterTable % {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z @@ -97,7 +97,7 @@ % \addtocounter,\newcounter,\newtoggle,\global,\ifdefined,\iftoggle, % \ifx,\jobname,\makeatletter,\makeatother,\newwrite,\NewEnviron, % \patchcmd,\relax,\renewcommand,\renewenvironment,\RequirePackage, -% \roman,\space,\undefined +% \roman,\space,\undefined,\unexpanded % } % % \title{The \textsf{apxproof} package} @@ -588,14 +588,39 @@ This is a citation in the appendix~\cite{proofsAreHard}. }} % \end{macrocode} % \subsection{Macros Common to All Compilation Modes} +% \begin{macro}{\axp@newtheorem} +% \changes{v1.0.6}{2018/05/10}{Introduce intermediary command for theorem +% macro} +% \begin{macro}{\@axp@newtheorem} +% \begin{macro}{\@@axp@newtheorem} +% We introduce an intermediate |\axp@newtheorem| command to define a new +% theorem, differently depending on whether there is a section counter or +% not. This will be useful, in particular to allow changing this +% definition depending on the document class. This command uses two +% intermediary commands, |\@axp@newtheorem| and |\@@axp@newtheorem|, for +% the non-starred and starred versions. +\def\axp@newtheorem{\@ifstar\@@axp@newtheorem\@axp@newtheorem} +\def\@axp@newtheorem#1#2#3#4{% + \ifx\relax#4\relax + \newtheorem{#1}[#2]{#3}% + \else + \newtheorem{#1}{#3}[#4]% + \fi +} +\def\@@axp@newtheorem#1#2{% + \newtheorem*{#1}{#2}% +} +% \end{macro} +% \end{macro} +% \end{macro} % \begin{macro}{\newtheoremrep} % \begin{macro}{\axp@newtheoremreptmp} % We define the high-level |\newtheoremrep| to have the same syntax as % \textsf{amsthm}'s |\newtheorem|. For this purpose, we need a little % trick to deal with the second and fourth optional arguments, which is what -% |\@oparg| and |\axp@newtheoremrep| are +% |\@oparg| and |\axp@newtheoremreptmp| are % used for. |\axp@newtheoremrep| is defined differently -% depending on the compilation mode +% depending on the compilation mode. % \begin{macrocode} \newcommand\newtheoremrep[1]{% \@oparg{\axp@newtheoremreptmp{#1}}[]% @@ -648,31 +673,6 @@ This is a citation in the appendix~\cite{proofsAreHard}. % \end{macro} % \end{macro} % \end{macro} -% Finally, some class-specific behavior ensures that the theorems created by -% |\newtheoremrep| appear with the correct style. -% For now, only the styling for ACM document classes (e.g., -% \textsf{sig-alternate}) and \textsf{llncs} needs to be adapted, as both -% redefine the proof environments in different ways. -% \changes{v1.0.4}{2017/03/08}{More faithful theorem style for ACM templates} -% \changes{v1.0.4}{2017/03/08}{More robust coherent styling of proof sketches} -% \begin{macrocode} -\ifdefined\@acmtitlebox - \newtheoremstyle{mystyle} - {6pt} - {6pt} - {\itshape} - {10pt} - {\scshape} - {.} - {.5em} - {} - \theoremstyle{mystyle} - \renewenvironment{proofsketch}{\begin{axp@oldproof}[sketch]}{\end{axp@oldproof}} -\fi - \@ifclassloaded{llncs}{ - \renewenvironment{proofsketch}{\begin{axp@oldproof}[sketch]}{\end{axp@oldproof}} - }{} -% \end{macrocode} % \begin{environment}{axp@oldproof} % We save the definition of the existing |proof| environment. % \begin{macrocode} @@ -680,6 +680,52 @@ This is a citation in the appendix~\cite{proofsAreHard}. \let\endaxp@oldproof\endproof % \end{macrocode} % \end{environment} +% \subsubsection{Class-Specific Behavior} +% Finally, some class-specific behavior common to all compilation modes +% \paragraph{\textsf{llncs} and other Springer document classes} +% \changes{v1.0.6}{2018/05/10}{Better support of Springer document +% classes} +% \begin{macrocode} + \ifdefined\spnewtheorem +% \end{macrocode} +% \begin{macro}{\@axp@newtheorem} +% \begin{macro}{\@@axp@newtheorem} +% It is necessary to use |\spnewtheorem| instead of |\newtheorem| in +% Springer document classes to obtain standard formatting. +% \begin{macrocode} +\def\@axp@newtheorem#1#2#3#4{% + \ifx\relax#4\relax + \ifx\relax#2\relax + \spnewtheorem{#1}{#3}{\bfseries}{\itshape}% + \else + \spnewtheorem{#1}[#2]{#3}{\bfseries}{\itshape}% + \fi + \else + \spnewtheorem{#1}{#3}[#4]{\bfseries}{\itshape}% + \fi +} +\def\@@axp@newtheorem#1#2{% + \spnewtheorem*{#1}{#2}{\upshape\bfseries}{\itshape}% +} +% \end{macrocode} +% \end{macro} +% \end{macro} +% We have to redefine the macro |\@thmcountersep| for proper sectioned +% counters. +% \begin{macrocode} +\def\@thmcountersep{.} +% \end{macrocode} +% We remove the parentheses added by default for theorem notes, which are +% not compatible with the use of theorem notes by \textsf{apxproof}. +% \begin{macrocode} +\def\@Opargbegintheorem#1#2#3#4{#4\trivlist + \item[\hskip\labelsep{#3#1}]{#3 #2\@thmcounterend\ }} +\def\@spopargbegintheorem#1#2#3#4#5{\trivlist + \item[\hskip\labelsep{#4#1\ #2}]{#4 #3\@thmcounterend\ }#5} +% \end{macrocode} +% \begin{macrocode} + \fi +% \end{macrocode} % \subsection{Inline Compilation Mode} % \begin{macrocode} \ifthenelse{\equal{\axp@appendix}{inline}}{ @@ -693,11 +739,7 @@ This is a citation in the appendix~\cite{proofsAreHard}. \def\axp@newtheoremrep#1[#2]#3[#4]{% \expandafter\let\csname #1\endcsname\undefined \expandafter\let\csname c@#1\endcsname\undefined - \ifx\relax#4\relax - \newtheorem{#1}[#2]{#3}% - \else - \newtheorem{#1}{#3}[#4]% - \fi + \axp@newtheorem{#1}{#2}{#3}{#4}% \NewEnviron{#1rep}[1][]{% \begin{#1}[##1]\BODY\end{#1}% } @@ -822,21 +864,25 @@ This is a citation in the appendix~\cite{proofsAreHard}. \def\axp@newtheoremrep#1[#2]#3[#4]{% \expandafter\let\csname #1\endcsname\undefined \expandafter\let\csname c@#1\endcsname\undefined - \ifx\relax#4\relax - \newtheorem{#1}[#2]{#3}% - \else - \newtheorem{#1}{#3}[#4]% - \fi + \axp@newtheorem{#1}{#2}{#3}{#4}% \expandafter\pretocmd\csname #1\endcsname{\noproofinappendix}{}{}% - \newtheorem*{axp@#1rp}{#3}% + \axp@newtheorem*{axp@#1rp}{#3}% % \end{macrocode} % We then define a |foobarrep| environment that increments the % |axp@rpcounter| and typeset the regular |foobar| theorem with a label -% derived from the counter. +% derived from the counter. We distinguish the case when the theorem +% argument has a note and when it does not. +% \changes{v1.0.6}{2018/05/10}{Better handling of note-free theorems in +% document classes that treat theorems differently when they have an +% empty note} % \begin{macrocode} \NewEnviron{#1rep}[1][]{% \addtocounter{axp@rpcounter}{1}% - \begin{#1}[##1]\label{axp@r\roman{axp@rpcounter}}\BODY\end{#1}% + \ifx\relax##1\relax + \begin{#1}\label{axp@r\roman{axp@rpcounter}}\BODY\end{#1}% + \else + \begin{#1}[##1]\label{axp@r\roman{axp@rpcounter}}\BODY\end{#1}% + \fi % \end{macrocode} % We set the |axp@seenreptheorem| toggle to indicate that we are looking % for the proof of the theorem, then store in a macro the content of the @@ -854,12 +900,14 @@ This is a citation in the appendix~\cite{proofsAreHard}. % defined labels. % \changes{v1.0.2}{2016/12/13}{Fix missing space between repeated theorem % counter and theorem note} +% \changes{v1.0.6}{2018/05/10}{Fix incorrect use of \texttt{\textbackslash noexpand} +% in optional argument of macro environment} % \begin{macrocode} \axp@writesection% \immediate\write\axp@proofsfile{% \noexpand\begin{axp@#1rp} [\noexpand\ref{axp@r\roman{axp@rpcounter}}% - \@ifnotempty{##1}{ \noexpand##1}]% + \@ifnotempty{##1}{ \unexpanded{##1}}]% \noexpand\let\noexpand\label\noexpand\@gobble% \expandafter\noexpand\csname rplet\roman{axp@rpcounter}% \endcsname @@ -1006,13 +1054,15 @@ This is a citation in the appendix~\cite{proofsAreHard}. % \begin{macro}{\axp@writesection} % If |\axp@sectitle| is not empty, we create % a new section in the appendix, referring to the main text section. +% \changes{v1.0.6}{2018/05/10}{Fix extraneous space after section number +% in appendix titles} % \begin{macrocode} \newcommand\axp@writesection{% \ifx\axp@sectitle\@empty \else \immediate\write\axp@proofsfile{% \noexpand\def\noexpand\axp@tmp{% - \noexpand\ref{axp@s\roman{axp@seccounter}} + \noexpand\ref{axp@s\roman{axp@seccounter}}% } \noexpand\axp@section{% \noexpand\appendixsectionformat{\protect\noexpand\axp@tmp}% @@ -1047,6 +1097,11 @@ This is a citation in the appendix~\cite{proofsAreHard}. % a separate bibliography for the appendix (unless the |bibliography| % option is set to |common|). There is an extra test to % ensure an empty bibliography environment is not produced. +% The name of the bibliography is changed to |\appendixrefname|; in most +% document classes, it is called |\refname| but it is occasionally +% (|scrartcl|, |scrreprt|) called |\bibname|. +% \changes{v1.0.6}{2018/05/10}{Deal with document classes where the +% bibliography is called \texttt{\textbackslash bibname}} % \begin{macrocode} \AtEndDocument{ \appendixprelim @@ -1057,7 +1112,11 @@ This is a citation in the appendix~\cite{proofsAreHard}. \immediate\closeout\axp@proofsfile \input{\jobname.axp} \ifthenelse{\equal{\axp@bibliography}{separate}}{ - \renewcommand{\refname}{\appendixrefname} + \ifdefined\refname + \renewcommand{\refname}{\appendixrefname} + \else\ifdefined\bibname + \renewcommand{\bibname}{\appendixrefname} + \fi\fi \let\axp@oldthebibliography\thebibliography \renewcommand\thebibliography[1]{% \ifx\relax#1\relax\else\axp@oldthebibliography{#1}\fi} @@ -1072,23 +1131,29 @@ This is a citation in the appendix~\cite{proofsAreHard}. % \end{macrocode} % \subsubsection{Class-Specific Behavior} % We conclude with some class-specific behavior. -% \begin{macro}{\@getcl@ss} -% \begin{macro}{\@getclass} -% \begin{macro}{\@currentclass} -% We first use a little trick to store the document class in -% macro |\@currentclass|, from -% \url{http://tex.stackexchange.com/a/43541}. +% \paragraph{ACM Document Classes (old versions, till 2017)} +% \changes{v1.0.4}{2017/03/08}{More faithful theorem style for ACM templates} +% \changes{v1.0.4}{2017/03/08}{More robust coherent styling of proof sketches} % \begin{macrocode} - \def\@getcl@ss#1.cls#2\relax{\def\@currentclass{#1}} - \def\@getclass{\expandafter\@getcl@ss\@filelist\relax} - \@getclass + \ifdefined\@acmtitlebox % \end{macrocode} -% \end{macro} -% \end{macro} -% \end{macro} -% \paragraph{ACM Document Classes} +% We first redefine the |proofsketch| environment, which is used +% differently in the base class. % \begin{macrocode} - \ifdefined\@acmtitlebox + \renewenvironment{proofsketch}{\begin{axp@oldproof}[sketch]}{\end{axp@oldproof}} +% \end{macrocode} +% We adjust the styling of theorems for the needs of \textsf{apxproof}. +% \begin{macrocode} + \newtheoremstyle{mystyle} + {6pt} + {6pt} + {\itshape} + {10pt} + {\scshape} + {.} + {.5em} + {} + \theoremstyle{mystyle} % \end{macrocode} % \begin{macro}{\thebibliography} % \begin{macro}{\refname} @@ -1125,6 +1190,30 @@ This is a citation in the appendix~\cite{proofsAreHard}. % \begin{macrocode} \fi % \end{macrocode} +% \paragraph{ACM Document Classes (new version)} +% \changes{v1.0.6}{2018/05/10}{Support of new ACM document class +% (\texttt{acmart.cls})} +% Again, we adjust the styling of theorems for the needs of \textsf{apxproof}. +% \begin{macrocode} + \@ifclassloaded{acmart}{ +% \end{macrocode} +% \begin{macrocode} + \newtheoremstyle{mystyle} + {.5\baselineskip\@plus.2\baselineskip + \@minus.2\baselineskip} + {.5\baselineskip\@plus.2\baselineskip + \@minus.2\baselineskip} + {\@acmplainbodyfont} + {\@acmplainindent} + {\@acmplainheadfont} + {.} + {.5em} + {\thmname{#1}\thmnumber{ #2}\thmnote{ {\@acmplainheadfont #3}}} + \theoremstyle{mystyle} +% \end{macrocode} +% \begin{macrocode} + }{} +% \end{macrocode} % \paragraph{\textsf{lipcs}} % \begin{macrocode} \ifdefined\lipics@opterrshort @@ -1144,6 +1233,20 @@ This is a citation in the appendix~\cite{proofsAreHard}. % \begin{macrocode} \fi % \end{macrocode} +% \paragraph{\textsf{llncs} and other Springer document classes} +% \begin{macrocode} + \@ifclassloaded{llncs}{ +% \end{macrocode} +% \begin{macro}{proofsketch} +% We first redefine the |proofsketch| environment, which is used +% differently in the base class. +% \begin{macrocode} + \renewenvironment{proofsketch}{\begin{axp@oldproof}[sketch]}{\end{axp@oldproof}} +% \end{macrocode} +% \end{macro} +% \begin{macrocode} + }{} +% \end{macrocode} % \begin{macrocode} } % \end{macrocode} diff --git a/Master/texmf-dist/tex/latex/apxproof/apxproof.sty b/Master/texmf-dist/tex/latex/apxproof/apxproof.sty index ef8e571af9d..1ca283ae346 100644 --- a/Master/texmf-dist/tex/latex/apxproof/apxproof.sty +++ b/Master/texmf-dist/tex/latex/apxproof/apxproof.sty @@ -27,7 +27,7 @@ %% \NeedsTeXFormat{LaTeX2e}[2005/12/01] \ProvidesPackage{apxproof} - [2017/05/31 v1.0.5 Automatic proofs in appendix] + [2018/05/10 v1.0.6 Automatic proofs in appendix] \RequirePackage{bibunits} \RequirePackage{environ} \RequirePackage{etoolbox} @@ -72,6 +72,17 @@ \errmessage{Error: unsupported option bibliography=\axp@bibliography for package apxproof} }} +\def\axp@newtheorem{\@ifstar\@@axp@newtheorem\@axp@newtheorem} +\def\@axp@newtheorem#1#2#3#4{% + \ifx\relax#4\relax + \newtheorem{#1}[#2]{#3}% + \else + \newtheorem{#1}{#3}[#4]% + \fi +} +\def\@@axp@newtheorem#1#2{% + \newtheorem*{#1}{#2}% +} \newcommand\newtheoremrep[1]{% \@oparg{\axp@newtheoremreptmp{#1}}[]% } @@ -89,33 +100,34 @@ \newcommand{\appendixbibliographyprelim}{} \newcommand{\appendixprelim}{\clearpage\onecolumn} \newcommand{\appendixsectionformat}[2]{Proofs for Section~#1 (#2)} -\ifdefined\@acmtitlebox - \newtheoremstyle{mystyle} - {6pt} - {6pt} - {\itshape} - {10pt} - {\scshape} - {.} - {.5em} - {} - \theoremstyle{mystyle} - \renewenvironment{proofsketch}{\begin{axp@oldproof}[sketch]}{\end{axp@oldproof}} -\fi - \@ifclassloaded{llncs}{ - \renewenvironment{proofsketch}{\begin{axp@oldproof}[sketch]}{\end{axp@oldproof}} - }{} \let\axp@oldproof\proof \let\endaxp@oldproof\endproof + \ifdefined\spnewtheorem +\def\@axp@newtheorem#1#2#3#4{% + \ifx\relax#4\relax + \ifx\relax#2\relax + \spnewtheorem{#1}{#3}{\bfseries}{\itshape}% + \else + \spnewtheorem{#1}[#2]{#3}{\bfseries}{\itshape}% + \fi + \else + \spnewtheorem{#1}{#3}[#4]{\bfseries}{\itshape}% + \fi +} +\def\@@axp@newtheorem#1#2{% + \spnewtheorem*{#1}{#2}{\upshape\bfseries}{\itshape}% +} +\def\@thmcountersep{.} +\def\@Opargbegintheorem#1#2#3#4{#4\trivlist + \item[\hskip\labelsep{#3#1}]{#3 #2\@thmcounterend\ }} +\def\@spopargbegintheorem#1#2#3#4#5{\trivlist + \item[\hskip\labelsep{#4#1\ #2}]{#4 #3\@thmcounterend\ }#5} + \fi \ifthenelse{\equal{\axp@appendix}{inline}}{ \def\axp@newtheoremrep#1[#2]#3[#4]{% \expandafter\let\csname #1\endcsname\undefined \expandafter\let\csname c@#1\endcsname\undefined - \ifx\relax#4\relax - \newtheorem{#1}[#2]{#3}% - \else - \newtheorem{#1}{#3}[#4]% - \fi + \axp@newtheorem{#1}{#2}{#3}{#4}% \NewEnviron{#1rep}[1][]{% \begin{#1}[##1]\BODY\end{#1}% } @@ -159,16 +171,16 @@ \def\axp@newtheoremrep#1[#2]#3[#4]{% \expandafter\let\csname #1\endcsname\undefined \expandafter\let\csname c@#1\endcsname\undefined - \ifx\relax#4\relax - \newtheorem{#1}[#2]{#3}% - \else - \newtheorem{#1}{#3}[#4]% - \fi + \axp@newtheorem{#1}{#2}{#3}{#4}% \expandafter\pretocmd\csname #1\endcsname{\noproofinappendix}{}{}% - \newtheorem*{axp@#1rp}{#3}% + \axp@newtheorem*{axp@#1rp}{#3}% \NewEnviron{#1rep}[1][]{% \addtocounter{axp@rpcounter}{1}% - \begin{#1}[##1]\label{axp@r\roman{axp@rpcounter}}\BODY\end{#1}% + \ifx\relax##1\relax + \begin{#1}\label{axp@r\roman{axp@rpcounter}}\BODY\end{#1}% + \else + \begin{#1}[##1]\label{axp@r\roman{axp@rpcounter}}\BODY\end{#1}% + \fi \global\toggletrue{axp@seenreptheorem}% \global\expandafter\let\csname rplet\roman{axp@rpcounter}% \endcsname @@ -177,7 +189,7 @@ \immediate\write\axp@proofsfile{% \noexpand\begin{axp@#1rp} [\noexpand\ref{axp@r\roman{axp@rpcounter}}% - \@ifnotempty{##1}{ \noexpand##1}]% + \@ifnotempty{##1}{ \unexpanded{##1}}]% \noexpand\let\noexpand\label\noexpand\@gobble% \expandafter\noexpand\csname rplet\roman{axp@rpcounter}% \endcsname @@ -253,7 +265,7 @@ \else \immediate\write\axp@proofsfile{% \noexpand\def\noexpand\axp@tmp{% - \noexpand\ref{axp@s\roman{axp@seccounter}} + \noexpand\ref{axp@s\roman{axp@seccounter}}% } \noexpand\axp@section{% \noexpand\appendixsectionformat{\protect\noexpand\axp@tmp}% @@ -278,7 +290,11 @@ \immediate\closeout\axp@proofsfile \input{\jobname.axp} \ifthenelse{\equal{\axp@bibliography}{separate}}{ - \renewcommand{\refname}{\appendixrefname} + \ifdefined\refname + \renewcommand{\refname}{\appendixrefname} + \else\ifdefined\bibname + \renewcommand{\bibname}{\appendixrefname} + \fi\fi \let\axp@oldthebibliography\thebibliography \renewcommand\thebibliography[1]{% \ifx\relax#1\relax\else\axp@oldthebibliography{#1}\fi} @@ -288,10 +304,18 @@ }{} } }{} - \def\@getcl@ss#1.cls#2\relax{\def\@currentclass{#1}} - \def\@getclass{\expandafter\@getcl@ss\@filelist\relax} - \@getclass \ifdefined\@acmtitlebox + \renewenvironment{proofsketch}{\begin{axp@oldproof}[sketch]}{\end{axp@oldproof}} + \newtheoremstyle{mystyle} + {6pt} + {6pt} + {\itshape} + {10pt} + {\scshape} + {.} + {.5em} + {} + \theoremstyle{mystyle} \patchcmd{\thebibliography}{References}{\protect\refname}{}{} \patchcmd{\thebibliography}{References}{\protect\refname}{}{} \newcommand{\refname}{REFERENCES} @@ -304,12 +328,29 @@ \label{axp@s\roman{axp@seccounter}}% } \fi + \@ifclassloaded{acmart}{ + \newtheoremstyle{mystyle} + {.5\baselineskip\@plus.2\baselineskip + \@minus.2\baselineskip} + {.5\baselineskip\@plus.2\baselineskip + \@minus.2\baselineskip} + {\@acmplainbodyfont} + {\@acmplainindent} + {\@acmplainheadfont} + {.} + {.5em} + {\thmname{#1}\thmnumber{ #2}\thmnote{ {\@acmplainheadfont #3}}} + \theoremstyle{mystyle} + }{} \ifdefined\lipics@opterrshort \renewcommand{\appendixbibliographyprelim}{% \global\let\@oldbiblabel\@biblabel \def\@biblabel{\hspace*{-2em}\small\@oldbiblabel}% } \fi + \@ifclassloaded{llncs}{ + \renewenvironment{proofsketch}{\begin{axp@oldproof}[sketch]}{\end{axp@oldproof}} + }{} } \endinput %% -- cgit v1.2.3