diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/thmtools/thm-restate.dtx')
-rw-r--r-- | Master/texmf-dist/source/latex/thmtools/thm-restate.dtx | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/Master/texmf-dist/source/latex/thmtools/thm-restate.dtx b/Master/texmf-dist/source/latex/thmtools/thm-restate.dtx index 033a48254e7..d02b3630abc 100644 --- a/Master/texmf-dist/source/latex/thmtools/thm-restate.dtx +++ b/Master/texmf-dist/source/latex/thmtools/thm-restate.dtx @@ -1,11 +1,13 @@ % \iffalse meta-comment % -% Copyright (C) 2008 by Ulrich M. Schwarz +% Copyright (C) 2008-2014 by Ulrich M. Schwarz +% Copyright (C) 2019 by Frank Mittelbach +% Copyright (C) 2020- by Yukai Chou % % This file may be distributed and/or modified under the conditions of -% the LaTeX Project Public License, version 1.3a. +% the LaTeX Project Public License, version 1.3c. % The license can be obtained from -% http://www.latex-project.org/lppl/lppl-1-3a.txt +% http://www.latex-project.org/lppl/lppl-1.3c.txt % % \fi % @@ -224,7 +226,7 @@ \@xa\let\csname c@#2\endcsname=\c@thmt@dummyctr \@xa\let\csname theH#2\endcsname=\theHthmt@dummyctr % disable labeling. - \let\label=\@gobble + \let\label=\thmt@gobble@label \let\ltx@label=\@gobble% amsmath needs this % We shall need to restore the counters at the end % of the environment, so we get @@ -268,6 +270,14 @@ %% now empty, just used as a marker. } +\let\thmt@gobble@label\@gobble +% cleveref extends syntax of \label to \label[...]{...} +\AtBeginDocument{ + \@ifpackageloaded{cleveref}{ + \renewcommand*\thmt@gobble@label[2][]{} + }{} +} + \newenvironment{restatable}{% \thmt@thisistheonetrue\thmt@restatable }{% |