summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/texmf-dist/doc/latex/thmtools/COPYING416
-rw-r--r--Master/texmf-dist/doc/latex/thmtools/VERSION.tex2
-rw-r--r--Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex421
-rw-r--r--Master/texmf-dist/doc/latex/thmtools/thmtools.pdfbin254482 -> 298212 bytes
-rw-r--r--Master/texmf-dist/source/latex/thmtools/thm-amsthm.dtx13
-rw-r--r--Master/texmf-dist/source/latex/thmtools/thm-autoref.dtx15
-rw-r--r--Master/texmf-dist/source/latex/thmtools/thm-beamer.dtx4
-rw-r--r--Master/texmf-dist/source/latex/thmtools/thm-kv.dtx120
-rw-r--r--Master/texmf-dist/source/latex/thmtools/thm-listof.dtx12
-rw-r--r--Master/texmf-dist/source/latex/thmtools/thm-ntheorem.dtx8
-rw-r--r--Master/texmf-dist/source/latex/thmtools/thm-patch.dtx8
-rw-r--r--Master/texmf-dist/source/latex/thmtools/thmdef-shaded.dtx58
-rw-r--r--Master/texmf-dist/source/latex/thmtools/thmdef-thmbox.dtx10
-rw-r--r--Master/texmf-dist/source/latex/thmtools/thmtools.dtx50
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/aliasctr.sty2
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/parseargs.sty2
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/thm-amsthm.sty15
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/thm-autoref.sty16
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/thm-beamer.sty6
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/thm-kv.sty104
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/thm-listof.sty14
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/thm-ntheorem.sty10
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/thm-patch.sty10
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/thm-restate.sty2
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/thmdef-shaded.sty4
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/thmdef-thmbox.sty4
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/thmtools.sty51
-rw-r--r--Master/texmf-dist/tex/latex/thmtools/unique.sty2
28 files changed, 1212 insertions, 167 deletions
diff --git a/Master/texmf-dist/doc/latex/thmtools/COPYING b/Master/texmf-dist/doc/latex/thmtools/COPYING
new file mode 100644
index 00000000000..22443139013
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/thmtools/COPYING
@@ -0,0 +1,416 @@
+The LaTeX Project Public License
+=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
+
+LPPL Version 1.3c 2008-05-04
+
+Copyright 1999 2002-2008 LaTeX3 Project
+ Everyone is allowed to distribute verbatim copies of this
+ license document, but modification of it is not allowed.
+
+
+PREAMBLE
+========
+
+The LaTeX Project Public License (LPPL) is the primary license under
+which the LaTeX kernel and the base LaTeX packages are distributed.
+
+You may use this license for any work of which you hold the copyright
+and which you wish to distribute. This license may be particularly
+suitable if your work is TeX-related (such as a LaTeX package), but
+it is written in such a way that you can use it even if your work is
+unrelated to TeX.
+
+The section `WHETHER AND HOW TO DISTRIBUTE WORKS UNDER THIS LICENSE',
+below, gives instructions, examples, and recommendations for authors
+who are considering distributing their works under this license.
+
+This license gives conditions under which a work may be distributed
+and modified, as well as conditions under which modified versions of
+that work may be distributed.
+
+We, the LaTeX3 Project, believe that the conditions below give you
+the freedom to make and distribute modified versions of your work
+that conform with whatever technical specifications you wish while
+maintaining the availability, integrity, and reliability of
+that work. If you do not see how to achieve your goal while
+meeting these conditions, then read the document `cfgguide.tex'
+and `modguide.tex' in the base LaTeX distribution for suggestions.
+
+
+DEFINITIONS
+===========
+
+In this license document the following terms are used:
+
+ `Work'
+ Any work being distributed under this License.
+
+ `Derived Work'
+ Any work that under any applicable law is derived from the Work.
+
+ `Modification'
+ Any procedure that produces a Derived Work under any applicable
+ law -- for example, the production of a file containing an
+ original file associated with the Work or a significant portion of
+ such a file, either verbatim or with modifications and/or
+ translated into another language.
+
+ `Modify'
+ To apply any procedure that produces a Derived Work under any
+ applicable law.
+
+ `Distribution'
+ Making copies of the Work available from one person to another, in
+ whole or in part. Distribution includes (but is not limited to)
+ making any electronic components of the Work accessible by
+ file transfer protocols such as FTP or HTTP or by shared file
+ systems such as Sun's Network File System (NFS).
+
+ `Compiled Work'
+ A version of the Work that has been processed into a form where it
+ is directly usable on a computer system. This processing may
+ include using installation facilities provided by the Work,
+ transformations of the Work, copying of components of the Work, or
+ other activities. Note that modification of any installation
+ facilities provided by the Work constitutes modification of the Work.
+
+ `Current Maintainer'
+ A person or persons nominated as such within the Work. If there is
+ no such explicit nomination then it is the `Copyright Holder' under
+ any applicable law.
+
+ `Base Interpreter'
+ A program or process that is normally needed for running or
+ interpreting a part or the whole of the Work.
+
+ A Base Interpreter may depend on external components but these
+ are not considered part of the Base Interpreter provided that each
+ external component clearly identifies itself whenever it is used
+ interactively. Unless explicitly specified when applying the
+ license to the Work, the only applicable Base Interpreter is a
+ `LaTeX-Format' or in the case of files belonging to the
+ `LaTeX-format' a program implementing the `TeX language'.
+
+
+
+CONDITIONS ON DISTRIBUTION AND MODIFICATION
+===========================================
+
+1. Activities other than distribution and/or modification of the Work
+are not covered by this license; they are outside its scope. In
+particular, the act of running the Work is not restricted and no
+requirements are made concerning any offers of support for the Work.
+
+2. You may distribute a complete, unmodified copy of the Work as you
+received it. Distribution of only part of the Work is considered
+modification of the Work, and no right to distribute such a Derived
+Work may be assumed under the terms of this clause.
+
+3. You may distribute a Compiled Work that has been generated from a
+complete, unmodified copy of the Work as distributed under Clause 2
+above, as long as that Compiled Work is distributed in such a way that
+the recipients may install the Compiled Work on their system exactly
+as it would have been installed if they generated a Compiled Work
+directly from the Work.
+
+4. If you are the Current Maintainer of the Work, you may, without
+restriction, modify the Work, thus creating a Derived Work. You may
+also distribute the Derived Work without restriction, including
+Compiled Works generated from the Derived Work. Derived Works
+distributed in this manner by the Current Maintainer are considered to
+be updated versions of the Work.
+
+5. If you are not the Current Maintainer of the Work, you may modify
+your copy of the Work, thus creating a Derived Work based on the Work,
+and compile this Derived Work, thus creating a Compiled Work based on
+the Derived Work.
+
+6. If you are not the Current Maintainer of the Work, you may
+distribute a Derived Work provided the following conditions are met
+for every component of the Work unless that component clearly states
+in the copyright notice that it is exempt from that condition. Only
+the Current Maintainer is allowed to add such statements of exemption
+to a component of the Work.
+
+ a. If a component of this Derived Work can be a direct replacement
+ for a component of the Work when that component is used with the
+ Base Interpreter, then, wherever this component of the Work
+ identifies itself to the user when used interactively with that
+ Base Interpreter, the replacement component of this Derived Work
+ clearly and unambiguously identifies itself as a modified version
+ of this component to the user when used interactively with that
+ Base Interpreter.
+
+ b. Every component of the Derived Work contains prominent notices
+ detailing the nature of the changes to that component, or a
+ prominent reference to another file that is distributed as part
+ of the Derived Work and that contains a complete and accurate log
+ of the changes.
+
+ c. No information in the Derived Work implies that any persons,
+ including (but not limited to) the authors of the original version
+ of the Work, provide any support, including (but not limited to)
+ the reporting and handling of errors, to recipients of the
+ Derived Work unless those persons have stated explicitly that
+ they do provide such support for the Derived Work.
+
+ d. You distribute at least one of the following with the Derived Work:
+
+ 1. A complete, unmodified copy of the Work;
+ if your distribution of a modified component is made by
+ offering access to copy the modified component from a
+ designated place, then offering equivalent access to copy
+ the Work from the same or some similar place meets this
+ condition, even though third parties are not compelled to
+ copy the Work along with the modified component;
+
+ 2. Information that is sufficient to obtain a complete,
+ unmodified copy of the Work.
+
+7. If you are not the Current Maintainer of the Work, you may
+distribute a Compiled Work generated from a Derived Work, as long as
+the Derived Work is distributed to all recipients of the Compiled
+Work, and as long as the conditions of Clause 6, above, are met with
+regard to the Derived Work.
+
+8. The conditions above are not intended to prohibit, and hence do not
+apply to, the modification, by any method, of any component so that it
+becomes identical to an updated version of that component of the Work as
+it is distributed by the Current Maintainer under Clause 4, above.
+
+9. Distribution of the Work or any Derived Work in an alternative
+format, where the Work or that Derived Work (in whole or in part) is
+then produced by applying some process to that format, does not relax or
+nullify any sections of this license as they pertain to the results of
+applying that process.
+
+10. a. A Derived Work may be distributed under a different license
+ provided that license itself honors the conditions listed in
+ Clause 6 above, in regard to the Work, though it does not have
+ to honor the rest of the conditions in this license.
+
+ b. If a Derived Work is distributed under a different license, that
+ Derived Work must provide sufficient documentation as part of
+ itself to allow each recipient of that Derived Work to honor the
+ restrictions in Clause 6 above, concerning changes from the Work.
+
+11. This license places no restrictions on works that are unrelated to
+the Work, nor does this license place any restrictions on aggregating
+such works with the Work by any means.
+
+12. Nothing in this license is intended to, or may be used to, prevent
+complete compliance by all parties with all applicable laws.
+
+
+NO WARRANTY
+===========
+
+There is no warranty for the Work. Except when otherwise stated in
+writing, the Copyright Holder provides the Work `as is', without
+warranty of any kind, either expressed or implied, including, but not
+limited to, the implied warranties of merchantability and fitness for a
+particular purpose. The entire risk as to the quality and performance
+of the Work is with you. Should the Work prove defective, you assume
+the cost of all necessary servicing, repair, or correction.
+
+In no event unless required by applicable law or agreed to in writing
+will The Copyright Holder, or any author named in the components of the
+Work, or any other party who may distribute and/or modify the Work as
+permitted above, be liable to you for damages, including any general,
+special, incidental or consequential damages arising out of any use of
+the Work or out of inability to use the Work (including, but not limited
+to, loss of data, data being rendered inaccurate, or losses sustained by
+anyone as a result of any failure of the Work to operate with any other
+programs), even if the Copyright Holder or said author or said other
+party has been advised of the possibility of such damages.
+
+
+MAINTENANCE OF THE WORK
+=======================
+
+The Work has the status `author-maintained' if the Copyright Holder
+explicitly and prominently states near the primary copyright notice in
+the Work that the Work can only be maintained by the Copyright Holder
+or simply that it is `author-maintained'.
+
+The Work has the status `maintained' if there is a Current Maintainer
+who has indicated in the Work that they are willing to receive error
+reports for the Work (for example, by supplying a valid e-mail
+address). It is not required for the Current Maintainer to acknowledge
+or act upon these error reports.
+
+The Work changes from status `maintained' to `unmaintained' if there
+is no Current Maintainer, or the person stated to be Current
+Maintainer of the work cannot be reached through the indicated means
+of communication for a period of six months, and there are no other
+significant signs of active maintenance.
+
+You can become the Current Maintainer of the Work by agreement with
+any existing Current Maintainer to take over this role.
+
+If the Work is unmaintained, you can become the Current Maintainer of
+the Work through the following steps:
+
+ 1. Make a reasonable attempt to trace the Current Maintainer (and
+ the Copyright Holder, if the two differ) through the means of
+ an Internet or similar search.
+
+ 2. If this search is successful, then enquire whether the Work
+ is still maintained.
+
+ a. If it is being maintained, then ask the Current Maintainer
+ to update their communication data within one month.
+
+ b. If the search is unsuccessful or no action to resume active
+ maintenance is taken by the Current Maintainer, then announce
+ within the pertinent community your intention to take over
+ maintenance. (If the Work is a LaTeX work, this could be
+ done, for example, by posting to comp.text.tex.)
+
+ 3a. If the Current Maintainer is reachable and agrees to pass
+ maintenance of the Work to you, then this takes effect
+ immediately upon announcement.
+
+ b. If the Current Maintainer is not reachable and the Copyright
+ Holder agrees that maintenance of the Work be passed to you,
+ then this takes effect immediately upon announcement.
+
+ 4. If you make an `intention announcement' as described in 2b. above
+ and after three months your intention is challenged neither by
+ the Current Maintainer nor by the Copyright Holder nor by other
+ people, then you may arrange for the Work to be changed so as
+ to name you as the (new) Current Maintainer.
+
+ 5. If the previously unreachable Current Maintainer becomes
+ reachable once more within three months of a change completed
+ under the terms of 3b) or 4), then that Current Maintainer must
+ become or remain the Current Maintainer upon request provided
+ they then update their communication data within one month.
+
+A change in the Current Maintainer does not, of itself, alter the fact
+that the Work is distributed under the LPPL license.
+
+If you become the Current Maintainer of the Work, you should
+immediately provide, within the Work, a prominent and unambiguous
+statement of your status as Current Maintainer. You should also
+announce your new status to the same pertinent community as
+in 2b) above.
+
+
+WHETHER AND HOW TO DISTRIBUTE WORKS UNDER THIS LICENSE
+======================================================
+
+This section contains important instructions, examples, and
+recommendations for authors who are considering distributing their
+works under this license. These authors are addressed as `you' in
+this section.
+
+Choosing This License or Another License
+----------------------------------------
+
+If for any part of your work you want or need to use *distribution*
+conditions that differ significantly from those in this license, then
+do not refer to this license anywhere in your work but, instead,
+distribute your work under a different license. You may use the text
+of this license as a model for your own license, but your license
+should not refer to the LPPL or otherwise give the impression that
+your work is distributed under the LPPL.
+
+The document `modguide.tex' in the base LaTeX distribution explains
+the motivation behind the conditions of this license. It explains,
+for example, why distributing LaTeX under the GNU General Public
+License (GPL) was considered inappropriate. Even if your work is
+unrelated to LaTeX, the discussion in `modguide.tex' may still be
+relevant, and authors intending to distribute their works under any
+license are encouraged to read it.
+
+A Recommendation on Modification Without Distribution
+-----------------------------------------------------
+
+It is wise never to modify a component of the Work, even for your own
+personal use, without also meeting the above conditions for
+distributing the modified component. While you might intend that such
+modifications will never be distributed, often this will happen by
+accident -- you may forget that you have modified that component; or
+it may not occur to you when allowing others to access the modified
+version that you are thus distributing it and violating the conditions
+of this license in ways that could have legal implications and, worse,
+cause problems for the community. It is therefore usually in your
+best interest to keep your copy of the Work identical with the public
+one. Many works provide ways to control the behavior of that work
+without altering any of its licensed components.
+
+How to Use This License
+-----------------------
+
+To use this license, place in each of the components of your work both
+an explicit copyright notice including your name and the year the work
+was authored and/or last substantially modified. Include also a
+statement that the distribution and/or modification of that
+component is constrained by the conditions in this license.
+
+Here is an example of such a notice and statement:
+
+ %% pig.dtx
+ %% Copyright 2005 M. Y. Name
+ %
+ % 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 your option) any later version.
+ % The latest version of this license is in
+ % http://www.latex-project.org/lppl.txt
+ % and version 1.3 or later is part of all distributions of LaTeX
+ % version 2005/12/01 or later.
+ %
+ % This work has the LPPL maintenance status `maintained'.
+ %
+ % The Current Maintainer of this work is M. Y. Name.
+ %
+ % This work consists of the files pig.dtx and pig.ins
+ % and the derived file pig.sty.
+
+Given such a notice and statement in a file, the conditions
+given in this license document would apply, with the `Work' referring
+to the three files `pig.dtx', `pig.ins', and `pig.sty' (the last being
+generated from `pig.dtx' using `pig.ins'), the `Base Interpreter'
+referring to any `LaTeX-Format', and both `Copyright Holder' and
+`Current Maintainer' referring to the person `M. Y. Name'.
+
+If you do not want the Maintenance section of LPPL to apply to your
+Work, change `maintained' above into `author-maintained'.
+However, we recommend that you use `maintained', as the Maintenance
+section was added in order to ensure that your Work remains useful to
+the community even when you can no longer maintain and support it
+yourself.
+
+Derived Works That Are Not Replacements
+---------------------------------------
+
+Several clauses of the LPPL specify means to provide reliability and
+stability for the user community. They therefore concern themselves
+with the case that a Derived Work is intended to be used as a
+(compatible or incompatible) replacement of the original Work. If
+this is not the case (e.g., if a few lines of code are reused for a
+completely different task), then clauses 6b and 6d shall not apply.
+
+
+Important Recommendations
+-------------------------
+
+ Defining What Constitutes the Work
+
+ The LPPL requires that distributions of the Work contain all the
+ files of the Work. It is therefore important that you provide a
+ way for the licensee to determine which files constitute the Work.
+ This could, for example, be achieved by explicitly listing all the
+ files of the Work near the copyright notice of each file or by
+ using a line such as:
+
+ % This work consists of all files listed in manifest.txt.
+
+ in that place. In the absence of an unequivocal list it might be
+ impossible for the licensee to determine what is considered by you
+ to comprise the Work and, in such a case, the licensee would be
+ entitled to make reasonable conjectures as to which files comprise
+ the Work.
+
diff --git a/Master/texmf-dist/doc/latex/thmtools/VERSION.tex b/Master/texmf-dist/doc/latex/thmtools/VERSION.tex
index 559945aba32..db461fa6966 100644
--- a/Master/texmf-dist/doc/latex/thmtools/VERSION.tex
+++ b/Master/texmf-dist/doc/latex/thmtools/VERSION.tex
@@ -1 +1 @@
-\def\x #1-#2-#3 #4 v#5\@{\def\VERSION{#1/#2/#3 v#5}}\x 2010-05-18 20:57:54 +0200 v24\@ \ No newline at end of file
+\def\x #1-#2-#3 #4 v#5\@{\def\VERSION{#1/#2/#3 v#5}}\x 2010-06-08 22:07:11 +0200 v35\@ \ No newline at end of file
diff --git a/Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex b/Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex
index 2825da9ee14..73be5b7b985 100644
--- a/Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex
+++ b/Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex
@@ -16,11 +16,13 @@
\usepackage{doc,shortvrb,xspace}
\makeatletter
+% to be fixed at some point...
\let\PrintDescribeMacro\@gobble
\let \PrintDescribeEnv\@gobble
\let \PrintMacroName\@gobble
\let \PrintEnvName\@gobble
\makeatother
+\CodelineNumbered
\usepackage{listings}
@@ -43,6 +45,11 @@
\providecommand\clap{\makebox[0pt][c]}
+\newcommand\key[2][\keydefaultcontext]{%
+ % todo: create an index from this...
+ \paragraph*{\texttt{#2}}
+}
+
\lstloadlanguages{[LaTeX]TeX}
\lstset{language=[LaTeX]TeX,basicstyle=\small\ttfamily,keywordstyle=\mdseries,aboveskip=0pt}
@@ -65,7 +72,8 @@
}{%
\endminipage\strut\par
}
-\MakeShortVerb{\|}
+%\MakeShortVerb{\|}
+\lstMakeShortInline{|}
\declaretheorem{theorem}
@@ -93,6 +101,7 @@
spaceabove=6pt, spacebelow=6pt,
headfont=\normalfont\bfseries,
notefont=\mdseries, notebraces={(}{)},
+ bodyfont=\normalfont,
postheadspace=1em,
qed=\qedsymbol
]{mystyle}
@@ -179,15 +188,16 @@
\end{result}
Note that in all cases, you will need a \emph{backend} to provide the
- command \lstinline|\newtheorem| with the usual behaviour. The \LaTeX\
+ command |\newtheorem| with the usual behaviour. The \LaTeX\
kernel has a built-in backend which cannot do very much; the most common
- backends these days are the amsthm and ntheorem packages. Throughout this
- document, we'll use amsthm.
+ backends these days are the \pkg{amsthm} and \pkg{ntheorem} packages.
+ Throughout this document, we'll use \pkg{amsthm}, and some of the features
+ won't work with \pkg{ntheorem}.
\section{Elementary definitions}
As you have seen above, the new command to define theorems is
- \lstinline|\declaretheorem|, which in its most basic form just takes the
+ |\declaretheorem|, which in its most basic form just takes the
name of the environment. All other options can be set through a key-val
interface:
\begin{source}
@@ -266,8 +276,8 @@
``sharecounter=''.
Some theorems have a fixed name and are not supposed to get a number.
- To this end, amsthm provides \lstinline|\newtheorem*|, which is
- accessible through thmtools:
+ To this end, \pkg{amsthm} provides |\newtheorem*|, which is
+ accessible through \thmtools:
\begin{source}
\begin{preamble}[gobble=4]
\usepackage{amsthm}
@@ -331,19 +341,25 @@
In case you didn't know, you should: \pkg{hyperref}, \pkg{nameref} and
\pkg{cleveref} offer ways of ``automagically'' knowing that
- \lstinline|\label{foo}| was inside a theorem, so that a reference adds the
+ |\label{foo}| was inside a theorem, so that a reference adds the
string ``Theorem''. This is all done for you, but there's one catch: you
- have to tell \thmtools\ what the name to add is. (In singular and plural
- form for \pkg{cleveref}.
+ have to tell \thmtools\ what the name to add is. By default, it will use
+ the title of the theorem, in particular, it will be uppercased.
+ (This happens to match the guidelines of all
+ publishers I have encountered.) But there is an alternate spelling
+ available, denoted by a capital letter, and in any case, if you use
+ \pkg{cleveref}, you should give two values separated by a comma, because
+ it will generate plural forms if you reference many theorems in one
+ |\cite|.
\begin{source}
\begin{preamble}[gobble=6]
\usepackage{amsthm, thmtools}
\usepackage{
nameref,%\nameref
- hyperref%\autoref;
+ hyperref,%\autoref
% n.b. \Autoref is defined by thmtools
cleveref,% \cref
- % nb cleveref after! hyperref
+ % n.b. cleveref after! hyperref
}
\declaretheorem[name=Theorem,
refname={theorem,theorems},
@@ -376,7 +392,7 @@
\section{Styling theorems}
- The major backends provide a command \lstinline|\theoremstyle| to switch
+ The major backends provide a command |\theoremstyle| to switch
between looks of theorems. This is handled as follows:
\begin{source}
\begin{preamble}[gobble=4]
@@ -439,7 +455,7 @@
As you can see, the color parameters can take two forms: it's either the
name of a color that is already defined, without curly braces, or it can
start with a curly brace, in which case it is assumed that
- \lstinline|\definecolor{colorname}|$\langle$\textsl{what you said}$\rangle$ will be
+ |\definecolor{colorname}|$\langle$\textsl{what you said}$\rangle$ will be
valid \LaTeX\ code. In our case, we use the rbg model to manually specify
white. (Shadethm's default value is some sort of gray.)
@@ -488,8 +504,8 @@
\subsection{Declaring new theoremstyles}
\Thmtools\ also offers a new command to define new theoremstyles. It is
- partly a frontend to the \lstinline|\newtheoremstyle| command of amsthm or
- ntheorem, but it offers (more or less successfully) the settings of both to
+ partly a frontend to the |\newtheoremstyle| command of \pkg{amsthm} or
+ \pkg{ntheorem}, but it offers (more or less successfully) the settings of both to
either. So we are talking about the same things, consider the sketch in
\autoref{fig:params}. To get a result like that, you would use something
like
@@ -499,6 +515,7 @@
spaceabove=6pt, spacebelow=6pt,
headfont=\normalfont\bfseries,
notefont=\mdseries, notebraces={(}{)},
+ bodyfont=\normalfont,
postheadspace=1em,
qed=\qedsymbol
]{mystyle}
@@ -519,15 +536,15 @@
have to give values for everything.
There is one important thing you cannot see in this example: there are
- more keys you can pass to \lstinline|\declaretheoremstyle|: if \thmtools\ cannot
+ more keys you can pass to |\declaretheoremstyle|: if \thmtools\ cannot
figure out at all what to do with it, it will pass it on to the
- \lstinline|\declaretheorem| commands that use that style. For example, you may use
+ |\declaretheorem| commands that use that style. For example, you may use
the boxed and shaded keys here.
To change the order in which title, number and note appear, there is a key
headstyle. Currently, the values ``margin'' and ``swapnumber'' are
supported. The daring may also try to give a macro here that uses the
- commands \lstinline|\NUMBER|, \lstinline|\NAME| and \lstinline|\NOTE|.
+ commands |\NUMBER|, |\NAME| and |\NOTE|.
You cannot circumvent the fact
that headpunct comes at the end, though, nor the fonts and braces you
select with the other keys.
@@ -610,11 +627,11 @@
Note that in spite of being a theorem-environment, it gets number one all
over again. Also, we get equation number~\eqref{eq:1} again. The star in
- \lstinline|\firsteuclid*| tells thmtools that it should redirect the label
+ |\firsteuclid*| tells thmtools that it should redirect the label
mechanism, so that this reference: \autoref{thm:euclid} points to
p.\,\pageref{thm:euclid}, where the unstarred environment is used. (You can
also use a starred environment and an unstarred command, in which case the
- behaviour is reversed.) Also, if you use hyperref, the links will lead you
+ behaviour is reversed.) Also, if you use \pkg{hyperref}, the links will lead you
to the unstarred occurence.
Just to demonstrate that we also handle more involved cases, I repeat
@@ -633,7 +650,7 @@
\section{Lists of theorems}
To get a list of theorems with default formatting, just use
- \lstinline|\listoftheorems|:
+ |\listoftheorems|:
\begin{source}
\begin{body}[gobble=6]
\listoftheorems
@@ -675,7 +692,37 @@
\listoftheorems[ignoreall, onlynamed={theorem,Theorem,euclid}]
\end{result}
- As might be expected, the heading given is defined in \lstinline|\listoftheoremname|.
+ As might be expected, the heading given is defined in |\listoftheoremname|.
+
+ \section{Extended arguments to theorem environments}
+
+ Usually, the optional argument of a theorem serves just to give a note
+ that is shown in the theorem's head. \Thmtools\ allows you to have a
+ key-value list here as well. Currently, the only two keys that are
+ known are |name|, setting the note text, and |label|, which will put a
+ |\label| command after the heading, so it's only moderately useful right now.
+
+ But it's good to already know the following: we try to treat the argument
+ as a keyval argument. If \emph{any} key matches, we assume that is the
+ right thing to do. Otherwise, it is treated as an old-style direct note.
+ Note that for implementation reasons, keys that are unknown are silently
+ discarded.
+ \begin{source}
+ \begin{body}[gobble=6]
+ \begin{theorem}[name=Keyed theorem,
+ label=thm:key]
+ This is a key-val theorem.
+ \end{theorem}
+ \end{body}
+ \end{source}
+ \begin{result}
+ \begin{theorem}[name=Keyed theorem,
+ label=thm:key]
+ This is a key-val theorem.
+ \end{theorem}
+ \end{result}
+
+
\chapter{\Thmtools for the extravagant}\label{cha:extravagant}
@@ -686,23 +733,345 @@
\section{Understanding \thmtools' extension mechanism}
- TBD.
+ \Thmtools\ draws most of its power really only from one feature:
+ the |\newtheorem| of the backend will, for example, create
+ a theorem environment, i.e. the commands |\theorem| and
+ |\endtheorem|. To add functionality, four places immediately
+ suggest themselves: ``immediately before'' and ``immediately after'' those
+ two.
+
+ There are two equivalent ways of adding code there: one is to call
+ |\addtotheorempreheadhook| and its brothers and sisters
+ |...postheadhook|, |...prefoothook|
+ and |...postfoothook|.
+ All of these take an \emph{optional} argument, the name of the
+ environment, and the new code as a mandatory argument. The environment is
+ optional because there is also a set of ``generic'' hooks added to every
+ theorem that you define.
+
+ The other way is to use the keys |preheadhook| et al. in your
+ |\declaretheorem|. (There is no way of accessing the generic
+ hook in this way.)
+
+ The hooks are arranged in the following way: first the specific prehead,
+ then the generic one. Then, the original |\theorem| (or
+ whatever) will be called. Afterwards, first the specific posthead again,
+ then the generic one. (This means that you cannot wrap the head alone in
+ an environment this way.) At the end of the theorem, it is the other way
+ around: first the generic, then the specific, both before and after that
+ |\endtheorem|. This means you can wrap the entire theorem
+ easily by adding to the prehead and the postfoot hooks. Note that
+ \thmtools\ does not look inside |\theorem|, so you cannot get
+ inside the head formatting, spacing, punctuation in this way.
+
+ In many situations, adding static code will not be enough. Your code can
+ look at |\thmt@envname|, |\thmt@thmname| and
+ |\thmt@optarg|, which will contain the name of the environment,
+ its title, and, if present, the optional argument (otherwise, it is
+ |\@empty|).
+ \emph{However}, you should not make assumptions about the optional
+ argument in the preheadhook: it might still be key-value, or it might
+ already be what will be placed as a note. (This is because the key-val
+ handling itself is added as part of the headkeys.)
+
+
+ \section{Case in point: the shaded key}
+
+ Let us look at a reasonably simple example: the shaded key, which we've
+ already seen in the first section. You'll observe that we run into a
+ problem similar to the four-hook mess: your code may either want to modify
+ parameters that need to be set beforehand, or it wants to modify the
+ environment after it has been created. To hide this from the user, the
+ code you define for the key is actually executed twice, and
+ |\thmt@trytwice{A}{B}| will execute A on the first pass, and B
+ on the second. Here, we want to add to the hooks, and the hooks are only
+ there in the second pass.
+
+ \DocInput{thmdef-shaded.dtx}
\section{Case in point: the thmbox key}
\DocInput{thmdef-thmbox.dtx}
+
+ \section{How \thmtools\ finds your extensions}
- \section{Case in point: the shaded key}
+ Up to now, we have discussed how to write the code that adds functionality
+ to your theorems, but you don't know how to activate it yet.
+ Of course, you can put it in your preamble, likely embraced by
+ |\makeatletter| and |\makeatother|, because you are
+ using internal macros with @ in their name (viz.,
+ |\thmt@envname| and friends). You can also put them into a
+ package (then, without the |\makeat...|),
+ which is simply a file ending in .sty put somewhere that \LaTeX\ can find
+ it, which can then be laoded with |\usepackage|.
+ To find out where exactly that is, and if you'd need to update
+ administrative helper files such as a filename database FNDB,
+ please consult the documentation of your \TeX\ distribution.
- \DocInput{thmdef-shaded.dtx}
+ Since you most likely want to add keys as well, there is a shortcut that
+ \thmtools\ offers you: whenever you use a key |key| in a
+ |\declaretheorem| command, and \thmtools\ doesn't already know
+ what to do with it, it will try to |\usepackage{thmdef-key}| and
+ evaluate the key again. (If that doesn't work, \thmtools\ will cry
+ bitterly.)
+ For example, there is no provision in \thmtools\ itself that make the
+ |shaded| and |thmbox| keys described above special:
+ in fact, if you want to use a different package to create frames, you just
+ put a different |thmdef-shaded.sty| into a preferred texmf tree.
+ Of course, if your new package doesn't offer the old keys, your old
+ documents might break!
+
+ The behaviour for the keys in the style definition is slightly different:
+ if a key is not known there, it will be used as a ``default key'' to every
+ theorem that is defined using this style. For example, you can give the
+ |shaded| key in a style definition.
+
+ Lastly, the key-val arguments to the theorem environments themselves need
+ to be loaded manually, not least because inside the document it's too late
+ to call |\usepackage|.
\chapter{\Thmtools for the completionist}\label{cha:reference}
This will eventually contain a reference to all known keys, commands, etc.
+ \section{Known keys to \texttt{\textbackslash declaretheoremstyle}}
+ \def\keydefaultcontext{declaretheoremstyle}
+
+ N.b. implementation for \pkg{amsthm} and \pkg{ntheorem} is separate for
+ these, so if it doesn't work for \pkg{ntheorem}, try if it works with
+ \pkg{amsthm}, which in general supports more things.
+
+ Also, all keys listed as known to |\declaretheorem| are valid.
+
+ \key{spaceabove} Value: a length. Vertical space above the theorem,
+ possibly discarded if the theorem is at the top of the page.
+
+ \key{spacebelow} Value: a length. Vertical space after the theorem,
+ possibly discarded if the theorem is at the top of the page.
+
+ \key{headfont} Value: \TeX\ code. Executed just before the head of the
+ theorem is typeset, inside a group. Intended use it to put font switches here.
+
+ \key{notefont}
+ Value: \TeX\ code. Executed just before the note in the head is typeset, inside a group.
+ Intended use it to put font switches here. Formatting also applies to
+ the braces around the note.
+ Not supported by \pkg{ntheorem}.
+
+ \key{bodyfont}
+ Value: \TeX\ code. Executed before the begin part of the theorem ends,
+ but before all afterheadhooks. Intended use it to put font switches here.
+
+ \key{headpunct}
+ Value: \TeX\ code, usually a single character. Put at the end of the
+ theorem's head, prior to linebreaks or indents.
+
+ \key{notebraces}
+ Value: Two characters, the opening and closing symbol to use around a
+ theorem's note.
+ (Not supported by \pkg{ntheorem}.)
+
+ \key{postheadspace}
+ Value: a length. Horizontal space inserted after the entire head of the
+ theorem, before the body. Does probably not apply (or make sense) for
+ styles that have a linebreak after the head.
+
+ \key{headindent}
+ Value: a length. Horizontal space inserted before the head. Some
+ publishers like |\parindent| here for remarks, for example.
+
+ \key{headstyle}
+ Value: \LaTeX\ code using the special placeholders |\NUMBER|, |\NAME|
+ and |\NOTE|, which correspond to the (formatted, including the braces
+ for |\NOTE| etc.) three parts of a theorem's head. This can be used to
+ override the usual style ``1.1 Theorem (Foo)'', for example to let the
+ numbers protude in the margin or put them after the name.
+
+ Additionally, a number of keywords are allowed here instead of \LaTeX\
+ code:
+ \begin{description}
+ \item[margin] Lets the number protude in the (left) margin.
+ \item[swapnumber] Puts the number before the name. Currently
+ not working so well for unnumbered theorems.
+ \item[] \emph{This list is likely to grow}
+ \end{description}
+
+ \section{Known keys to \texttt{\textbackslash declaretheorem}}
+ \def\keydefaultcontext{declaretheorem}
+
+ \key{parent}
+ Value: a counter name. The theorem will be reset whenever that counter
+ is incremented. Usually, this will be a sectioning level, |chapter| or
+ |section|.
+
+ \key{numberwithin}
+ Value: a counter name. The theorem will be reset whenever that counter
+ is incremented. Usually, this will be a sectioning level, |chapter| or
+ |section|.
+ (Same as parent.)
+
+ \key{within}
+ Value: a counter name. The theorem will be reset whenever that counter
+ is incremented. Usually, this will be a sectioning level, |chapter| or
+ |section|.
+ (Same as parent.)
+
+
+ \key{sibling}
+ Value: a counter name. The theorem will use this counter for numbering.
+ Usually, this is the name of another theorem environment.
+
+ \key{numberlike}
+ Value: a counter name. The theorem will use this counter for numbering.
+ Usually, this is the name of another theorem environment.
+ (Same as sibling.)
+
+ \key{sharenumber}
+ Value: a counter name. The theorem will use this counter for numbering.
+ Usually, this is the name of another theorem environment.
+ (Same as sibling.)
+
+
+ \key{title}
+ Value: \TeX\ code. The title of the theorem. Default is the name of the
+ environment, with |\MakeUppercase| prepended. You'll have to give
+ this if your title starts with a accented character, for example.
+
+ \key{name}
+ Value: \TeX\ code. The title of the theorem. Default is the name of the
+ environment, with |\MakeUppercase| prepended. You'll have to give
+ this if your title starts with a accented character, for example.
+ (Same as title.)
+
+ \key{heading}
+ Value: \TeX\ code. The title of the theorem. Default is the name of the
+ environment, with |\MakeUppercase| prepended. You'll have to give
+ this if your title starts with a accented character, for example.
+ (Same as title.)
+
+ \key{numbered}
+ Value: one of the keywords |yes|, |no| or |unless unique|. The theorem
+ will be numbered, not numbered, or only numbered if it occurs more than
+ once in the document. (The latter requires another \LaTeX\ run and will
+ not work well combined with |sibling|.)
+
+ \key{style}
+ Value: the name of a style defined with |\declaretheoremstyle| or
+ |\newtheoremstyle|. The theorem will use the settings of this style.
+
+ \key{preheadhook}
+ Value: \LaTeX\ code. This code will be executed at the beginning of the
+ environment, even before vertical spacing is added and the head is
+ typeset. However, it is already within the group defined by the
+ environment.
+
+ \key{postheadhook}
+ Value: \LaTeX\ code. This code will be executed after the call to the
+ original begin-theorem code. Note that all backends seem to delay
+ typesetting the actual head, so code here should probably enter
+ horizontal mode to be sure it is after the head, but this will change
+ the spacing/wrapping behaviour if your body starts with another list.
+
+ \key{prefoothook}
+ Value: \LaTeX\ code. This code will be executed at the end of the body
+ of the environment.
+
+ \key{postfoothook}
+ Value: \LaTeX\ code. This code will be executed at the end of the
+ environment, even after eventual vertical spacing, but still within the
+ group defined by the environment.
+
+ \key{refname}
+ Value: one string, or two string separated by a comma (no spaces). This
+ is the name of the theorem as used by |\autoref|, |\cref| and friends. If it is
+ two strings, the second is the plural form used by |\cref|. Default
+ value is the value of |name|, i.e. usually the environment name, with
+ \MakeUppercase.
+
+ \key{Refname}
+ Value: one string, or two string separated by a comma (no spaces). This
+ is the name of the theorem as used by |\Autoref|, |\Cref| and friends. If it is
+ two strings, the second is the plural form used by |\Cref|. This can be
+ used for alternate spellings, for example if your style requests no
+ abbreviations at the beginning of a sentence. No default.
+
+
+ \key{shaded}
+ Value: a key-value list, where the following keys are possible:
+ \begin{description}
+ \item[textwidth]
+ The linewidth within the theorem.
+ \item[bgcolor]
+ The color of the background of the theorem. Either a color name or a
+ color spec as accepted by |\definecolor|, such as |{gray}{0.5}|.
+ \item[rulecolor]
+ The color of the box surrounding the theorem. Either a color name or
+ a color spec.
+ \item[rulewidth]
+ The width of the box surrounding the theorem.
+ \item[margin]
+ The length by which the shade box surrounds the text.
+ \end{description}
+
+ \key{thmbox}
+ Value: one of the characters L, M and S; see examples above.
+
+
+ \section{Known keys to in-document theorems}
+ \def\keydefaultcontext{theorem}
+
+ \key{label} Value: a legal |\label| name.
+ Issues a |\label| command after the theorem's head.
+
+ \key{name} Value: \TeX\ code that will be typeset.
+ What you would have put in the optional argument in the
+ non-keyval style, i.e. the note to the head. This is \emph{not} the same
+ as the name key to |\declaretheorem|, you cannot override that from within
+ the document.
+
+ \key{listhack} Value: doesn't matter. (But put something to trigger
+ key-val behaviour, maybe listhack=true.) Linebreak styles in \pkg{amsthm}
+ don't linebreak if they start with another list, like an |enumerate|
+ environment. Giving the |listhack| key fixes that. \emph{Don't} give this
+ key for non-break styles, you'll get too little vertical space! (Just use
+ |\leavevmode| manually there.)
+ An all-around listhack that handles both situations might come in a
+ cleaner rewrite of the style system.
+
+ \section{Restatable -- hints and caveats}
+
+ TBD.
+ \begin{itemize}
+ \item Some counters are saved so that the same values appear when you
+ re-use them. The list of these counters is stored in the macro
+ |\thmt@innercounters| as a comma-separated list without spaces; default: equation.
+
+ \item To preserve the influence of other counters (think: equation
+ numbered per section and recall the theorem in another section), we need
+ to know all macros that are used to turn a counter into printed output.
+ Again, comma-separated list without spaces, without leading backslash, stored as
+ |\thmt@counterformatters|. Default:
+ |@alph,@Alph,@arabic,@roman,@Roman,@fnsymbol|
+ All these only take
+ the \LaTeX\ counter |\c@foo| as arguments. If you bypass this and use
+ |\romannumeral|, your numbers go wrong and you get what you deserve.
+ Important if you have very strange numbering, maybe using greek letters
+ or somesuch.
+
+ \item I think you cannot have one stored counter within another one's
+ typeset representation. I don't think that ever occurs in reasonable
+ circumstances, either. Only one I could think of: multiple subequation
+ blocks that partially overlap the theorem. Dude, that doesn't even nest.
+ You get what you deserve.
+
+ \item |\label| and \pkg{amsmath}'s |\ltx@label| are disabled inside the
+ starred execution. Possibly, |\phantomsection| should be disabled as
+ well?
+ \end{itemize}
+
\appendix
diff --git a/Master/texmf-dist/doc/latex/thmtools/thmtools.pdf b/Master/texmf-dist/doc/latex/thmtools/thmtools.pdf
index 4fc2eac9246..0493ee9d4a0 100644
--- a/Master/texmf-dist/doc/latex/thmtools/thmtools.pdf
+++ b/Master/texmf-dist/doc/latex/thmtools/thmtools.pdf
Binary files differ
diff --git a/Master/texmf-dist/source/latex/thmtools/thm-amsthm.dtx b/Master/texmf-dist/source/latex/thmtools/thm-amsthm.dtx
index cd61adfbe21..7ff3b98249d 100644
--- a/Master/texmf-dist/source/latex/thmtools/thm-amsthm.dtx
+++ b/Master/texmf-dist/source/latex/thmtools/thm-amsthm.dtx
@@ -134,6 +134,19 @@
}%
}
+\def\thmt@amsthmlistbreakhack{%
+ \leavevmode
+ \vspace{-\baselineskip}%
+ \par
+ \everypar{\setbox\z@\lastbox\everypar{}}%
+}
+
+\define@key{thmuse}{listhack}[\relax]{%
+ \addtotheorempostheadhook[local]{%
+ \thmt@amsthmlistbreakhack
+ }%
+}
+
% \end{macrocode}
%\iffalse (hide this from DocInput)
%</amsthm>
diff --git a/Master/texmf-dist/source/latex/thmtools/thm-autoref.dtx b/Master/texmf-dist/source/latex/thmtools/thm-autoref.dtx
index 0d8a23dc010..ea775854de8 100644
--- a/Master/texmf-dist/source/latex/thmtools/thm-autoref.dtx
+++ b/Master/texmf-dist/source/latex/thmtools/thm-autoref.dtx
@@ -97,11 +97,22 @@
\AtBeginDocument{%
\@ifpackageloaded{nameref}{%
\addtotheorempostheadhook{%
- \expandafter\NR@gettitle\expandafter{\thmt@optarg}%
+ \expandafter\NR@gettitle\expandafter{\thmt@shortoptarg}%
}}{}
}
-
+\AtBeginDocument{%
+ \@ifpackageloaded{cleveref}{%
+ \@ifpackagelater{cleveref}{2010/04/30}{%
+ % OK, new enough
+ }{%
+ \PackageWarningNoLine{thmtools}{%
+ Your version of cleveref is too old!\MessageBreak
+ Update to version 0.16.1 or later%
+ }
+ }
+ }{}
+}
% \end{macrocode}
%\iffalse
%</autoref>
diff --git a/Master/texmf-dist/source/latex/thmtools/thm-beamer.dtx b/Master/texmf-dist/source/latex/thmtools/thm-beamer.dtx
index 8ac7adba100..7c56099ce69 100644
--- a/Master/texmf-dist/source/latex/thmtools/thm-beamer.dtx
+++ b/Master/texmf-dist/source/latex/thmtools/thm-beamer.dtx
@@ -12,7 +12,9 @@
\def\thmt@parsetheoremargs#1{%
\parse{%
{\parseOpt<>{\thmt@hasoverlaytrue\def\thmt@overlay{##1}}{}}%
- {\parseOpt[]{\def\thmt@optarg{##1}}{\let\thmt@optarg\@empty}}%
+ {\parseOpt[]{\def\thmt@optarg{##1}}{%
+ \let\thmt@shortoptarg\@empty
+ \let\thmt@optarg\@empty}}%
{\ifthmt@hasoverlay\expandafter\@gobble\else\expandafter\@firstofone\fi
{\parseOpt<>{\thmt@hasoverlaytrue\def\thmt@overlay{##1}}{}}%
}%
diff --git a/Master/texmf-dist/source/latex/thmtools/thm-kv.dtx b/Master/texmf-dist/source/latex/thmtools/thm-kv.dtx
index a1aa79fbc29..fb1dc723eac 100644
--- a/Master/texmf-dist/source/latex/thmtools/thm-kv.dtx
+++ b/Master/texmf-dist/source/latex/thmtools/thm-kv.dtx
@@ -20,6 +20,51 @@
\let\@nx\noexpand
\RequirePackage{keyval,kvsetkeys,thm-patch}
+% useful key handler defaults.
+\newcommand\thmt@mkignoringkeyhandler[1]{%
+ \kv@set@family@handler{#1}{%
+ \thmt@debug{Key `##1' with value `##2' ignored by #1.}%
+ }%
+}
+\newcommand\thmt@mkextendingkeyhandler[3]{%
+% #1: family
+% #2: prefix for file
+% #3: key hint for error
+ \kv@set@family@handler{#1}{%
+ \thmt@selfextendingkeyhandler{#1}{#2}{#3}%
+ {##1}{##2}%
+ }%
+}
+
+\newcommand\thmt@selfextendingkeyhandler[5]{%
+ % #1: family
+ % #2: prefix for file
+ % #3: key hint for error
+ % #4: actual key
+ % #5: actual value
+ \IfFileExists{#2-#4.sty}{%
+ \PackageInfo{thmtools}%
+ {Automatically pulling in `#2-#4'}%
+ \RequirePackage{#2-#4}%
+ \ifcsname KV@#1@#4\endcsname
+ \csname KV@#1@#4\endcsname{#5}%
+ \else
+ \PackageError{thmtools}%
+ {#3 `#4' not known}
+ {I don't know what that key does.\MessageBreak
+ I've even loaded the file `#2-#4.sty', but that didn't help.
+ }%
+ \fi
+ }{%
+ \PackageError{thmtools}%
+ {#3 `#4' not known}
+ {I don't know what that key does by myself,\MessageBreak
+ and no file `#2-#4.sty' to tell me seems to exist.
+ }%
+ }%
+}
+
+
\newif\if@thmt@firstkeyset
% many keys are evaluated twice, because we don't know
@@ -93,7 +138,7 @@
\csname thmt@style #1@defaultkeys\endcsname}%
\fi
}
-\kv@set@family@handler{thmdef0}{}% ignore everything else.
+\thmt@mkignoringkeyhandler{thmdef0}
% fallback definition.
% actually, only the kernel does not provide \theoremstyle.
@@ -159,6 +204,7 @@
\kvsetkeys{thmdef0}{#1}%
\kvsetkeys{thmdef}{#1}%
}
+\@onlypreamble\declaretheorem
\providecommand\thmt@quark{\thmt@quark}
@@ -170,30 +216,28 @@
\ifx\thmt@optarg\@empty\else
\@xa\thmt@garbleoptarg\@xa{\thmt@optarg}\fi
}%
+
+\newif\ifthmt@thmuse@iskv
+
\providecommand\thmt@garbleoptarg[1]{%
- \thmt@splitopt#1=\thmt@quark
- \ifcsname KV@thmuse@\thmt@tmpkey\endcsname
- % looks like a keyval-style argument
- \PackageInfo{thmtools}{kv-style argument to `\thmt@envname'}
- %\typeout{dbg: new-style arg `#1'}%
- \let\thmt@newoptarg\@empty
- \kvsetkeys{thmuse}{#1}%
- \let\thmt@optarg\thmt@newoptarg
- %\else
- % \typeout{dbg: old-style arg `#1'}%
+ \thmt@thmuse@iskvfalse
+ \def\thmt@newoptarg{\@gobble}%
+ \def\thmt@newoptargextra{}%
+ \def\thmt@warn@unusedkeys{}%
+ \@for\thmt@fam:=\thmt@thmuse@families\do{%
+ \kvsetkeys{\thmt@fam}{#1}%
+ }%
+ \ifthmt@thmuse@iskv
+ \protected@edef\thmt@optarg{%
+ \@xa\thmt@newoptarg
+ \thmt@newoptargextra\@empty
+ }%
+ \protected@edef\thmt@shortoptarg{\thmt@newoptarg\@empty}%
+ \thmt@warn@unusedkeys
+ \else
+ \def\thmt@optarg{#1}%
+ \def\thmt@shortoptarg{#1}%
\fi
-% % optarg present, check if it's newstyle
-% % a newstyle kv args starts with =.
-% %\tracingall
-% \if\expandafter\noexpand\@car #1\@nil=
-% \let\thmt@newoptarg\@empty
-% \@xa\def\@xa\thmt@optarg\@xa{\@cdr #1\@nil}%
-% \def\thmt@tempa{\setkeys{thmt-optarg}}%
-% \@xa\thmt@tempa\@xa{\thmt@optarg}% expansion!
-% \let\thmt@optarg\thmt@newoptarg
-% \else
-% \typeout{(dbg: old-style arg `#1')}%
-% \fi
}
\def\thmt@splitopt#1=#2\thmt@quark{%
\def\thmt@tmpkey{#1}%
@@ -203,13 +247,32 @@
\@onelevel@sanitize\thmt@tmpkey
}
-\define@key{thmuse}{label}{%
- %\typeout{setting label: #1}%
+\def\thmt@thmuse@families{thm@track@keys}
+
+\kv@set@family@handler{thm@track@keys}{%
+ \@onelevel@sanitize\kv@key
+ \@namedef{thmt@unusedkey@\kv@key}{%
+ \PackageWarning{thmtools}{Unused key `#1'}%
+ }%
+ \@xa\g@addto@macro\@xa\thmt@warn@unusedkeys\@xa{%
+ \csname thmt@unusedkey@\kv@key\endcsname
+ }
+}
+
+% key, code.
+\def\thmt@define@thmuse@key#1#2{%
+ \g@addto@macro\thmt@thmuse@families{,#1}%
+ \define@key{#1}{#1}{\thmt@thmuse@iskvtrue
+ \@namedef{thmt@unusedkey@#1}{}%
+ #2}%
+ \thmt@mkignoringkeyhandler{#1}%
+}
+
+\thmt@define@thmuse@key{label}{%
\addtotheorempostheadhook[local]{\label{#1}}%
}
-\define@key{thmuse}{name}{%
- %\typeout{optarg: #1}%
- \def\thmt@newoptarg{#1}%
+\thmt@define@thmuse@key{name}{%
+ \def\thmt@newoptarg{#1\@iden}%
}
% \end{macrocode}
@@ -231,6 +294,7 @@
\kvsetkeys{thmstyle}{#1}%
\thmt@declaretheoremstyle{#2}%
}
+\@onlypreamble\declaretheoremstyle
\kv@set@family@handler{thmstyle}{%
\PackageInfo{thmtools}{%
diff --git a/Master/texmf-dist/source/latex/thmtools/thm-listof.dtx b/Master/texmf-dist/source/latex/thmtools/thm-listof.dtx
index 85790f4eac6..c10c81d817f 100644
--- a/Master/texmf-dist/source/latex/thmtools/thm-listof.dtx
+++ b/Master/texmf-dist/source/latex/thmtools/thm-listof.dtx
@@ -79,6 +79,11 @@
\def\contentsline##1{%
\csname thmt@contentsline@##1\endcsname{##1}%
}%
+ \@for\thmt@envname:=\thmt@allenvs\do{%
+ \@xa\protected@edef\csname l@\thmt@envname\endcsname{% CHECK: why p@edef?
+ \@nx\@dottedtocline{1}{1.5em}{\@nx\thmt@listnumwidth}%
+ }%
+ }%
\let\thref@starttoc\@starttoc
\def\@starttoc##1{\thref@starttoc{loe}}%
% new hack: to allow multiple calls, we defer the opening of the
@@ -94,7 +99,8 @@
}{}%
\fi
}%
- \expandafter\listoffigures
+ %\expandafter
+ \listoffigures
\egroup
}
@@ -120,13 +126,13 @@
\@xa\def\csname ll@\thmt@envname\endcsname{%
\protect\numberline{\protect\let\protect\autodot\protect\@empty}%
\thmt@thmname
- \ifx\@empty\thmt@optarg\else\protect\thmtformatoptarg{\thmt@optarg}\fi
+ \ifx\@empty\thmt@shortoptarg\else\protect\thmtformatoptarg{\thmt@shortoptarg}\fi
}%
\else
\@xa\def\csname ll@\thmt@envname\endcsname{%
\protect\numberline{\csname the\thmt@envname\endcsname}%
\thmt@thmname
- \ifx\@empty\thmt@optarg\else\protect\thmtformatoptarg{\thmt@optarg}\fi
+ \ifx\@empty\thmt@shortoptarg\else\protect\thmtformatoptarg{\thmt@shortoptarg}\fi
}%
\fi
\@xa\gdef\csname thmt@contentsline@\thmt@envname\endcsname{%
diff --git a/Master/texmf-dist/source/latex/thmtools/thm-ntheorem.dtx b/Master/texmf-dist/source/latex/thmtools/thm-ntheorem.dtx
index 0e62613fa6d..09f528cb001 100644
--- a/Master/texmf-dist/source/latex/thmtools/thm-ntheorem.dtx
+++ b/Master/texmf-dist/source/latex/thmtools/thm-ntheorem.dtx
@@ -61,7 +61,13 @@
}
% sorry, only style, not def with ntheorem.
\define@key{thmstyle}{qed}[\qedsymbol]{%
- \theoremsymbol{#1}%
+ \@ifpackagewith{ntheorem}{thmmarks}{%
+ \theoremsymbol{#1}%
+ }{%
+ \thmt@notsupported
+ {ntheorem without thmmarks option}%
+ {headindent}%
+ }%
}
\let\@upn=\textup
diff --git a/Master/texmf-dist/source/latex/thmtools/thm-patch.dtx b/Master/texmf-dist/source/latex/thmtools/thm-patch.dtx
index 9b0c03d1ef7..3cb6a6fcd1d 100644
--- a/Master/texmf-dist/source/latex/thmtools/thm-patch.dtx
+++ b/Master/texmf-dist/source/latex/thmtools/thm-patch.dtx
@@ -53,7 +53,9 @@
\def\thmt@parsetheoremargs#1{%
\parse{%
- {\parseOpt[]{\def\thmt@optarg{##1}}{\let\thmt@optarg\@empty}}%
+ {\parseOpt[]{\def\thmt@optarg{##1}}{%
+ \let\thmt@shortoptarg\@empty
+ \let\thmt@optarg\@empty}}%
{%
\def\thmt@local@preheadhook{}%
\def\thmt@local@postheadhook{}%
@@ -66,9 +68,11 @@
\ifx\@empty\thmt@optarg\else [{\thmt@optarg}]\fi
}%
\csname thmt@original@#1\@xa\endcsname\tmp@args
- \thmt@local@postheadhook
+ %%moved down: \thmt@local@postheadhook
+ %% (give postheadhooks a chance to re-set nameref data)
\csname thmt@#1@postheadhook\endcsname
\thmt@generic@postheadhook
+ \thmt@local@postheadhook
\let\@parsecmd\@empty
}%
}%
diff --git a/Master/texmf-dist/source/latex/thmtools/thmdef-shaded.dtx b/Master/texmf-dist/source/latex/thmtools/thmdef-shaded.dtx
index 55559b3a1f8..f7f78050673 100644
--- a/Master/texmf-dist/source/latex/thmtools/thmdef-shaded.dtx
+++ b/Master/texmf-dist/source/latex/thmtools/thmdef-shaded.dtx
@@ -7,6 +7,11 @@
%\iffalse (hide this from DocInput)
%<*shaded>
%\fi
+%
+% Mostly, this key wraps the theorem in a shadebox environment.
+% The parameters are set by treating the value we are given as
+% a new key-val list, see below.
+%
% \begin{macrocode}
\define@key{thmdef}{shaded}[{}]{%
\thmt@trytwice{}{%
@@ -18,23 +23,44 @@
\addtotheorempostfoothook[\thmt@envname]{\end{shadebox}}%
}%
}
+% \end{macrocode}
+% The docs for shadethm say:
+% \begin{quote}
% There are some parameters you could set the default for (try them as is,
% first).
-% (i) shadethmcolor The shading color of the background. See the
+% \begin{itemize}
+% \item shadethmcolor The shading color of the background. See the
% documentation for the color package, but with a `gray' model, I find .97
% looks good out of my printer, while a darker shade like .92 is needed
% to make it copy well. (Black is 0, white is 1.)
-% (i*) shaderulecolor The shading color of the border of the shaded box.
-% See (i). If \shadeboxrule is set to 0pt then this won't print anyway.
-% (i**) shadeboxrule The width of the border around the shading. Set it to
+% \item shaderulecolor The shading color of the border of the shaded box.
+% See (i). If shadeboxrule is set to 0pt then this won't print anyway.
+% \item shadeboxrule The width of the border around the shading. Set it to
% 0pt (not just 0) to make it disappear.
-% (i***) shadeboxsep The length by which the shade box surrounds the text.
+% \item shadeboxsep The length by which the shade box surrounds the text.
+% \end{itemize}
+% \end{quote}
+%
+% So, let's just define keys for all of these.
+%
+% \begin{macrocode}
\define@key{thmt@shade}{textwidth}{\setlength\shadedtextwidth{#1}}
\define@key{thmt@shade}{bgcolor}{\thmt@definecolor{shadethmcolor}{#1}}
\define@key{thmt@shade}{rulecolor}{\thmt@definecolor{shaderulecolor}{#1}}
\define@key{thmt@shade}{rulewidth}{\setlength\shadeboxrule{#1}}
\define@key{thmt@shade}{margin}{\setlength\shadeboxsep{#1}}
-
+% \end{macrocode}
+%
+% What follows is wizardry you don't have to understand. In essence,
+% we want to support two notions of color: one is ``everything that goes
+% after \lstinline|\definecolor{shadethmcolor}|'', such as
+% \lstinline|{rgb}{0.8,0.85,1}|. On the other hand, we'd also like
+% to recognize an already defined color name such as \lstinline|blue|.
+%
+% To handle the latter case, we need to copy the definition of one color
+% into another. The xcolor package offers \lstinline|\colorlet| for that,
+% for the color package, we just cross our fingers.
+% \begin{macrocode}
\def\thmt@colorlet#1#2{%
%\typeout{don't know how to let color `#1' be like color `#2'!}%
\@xa\let\csname\string\color@#1\@xa\endcsname
@@ -46,7 +72,25 @@
\let\thmt@colorlet\colorlet
\fi
}
-
+% \end{macrocode}
+% Now comes the interesting part: we assume that a simple color name
+% must not be in braces, and a color definition starts with an opening
+% curly brace. (So, if \lstinline|\definecolor| ever gets an optional arg,
+% we are in a world of pain.)
+%
+% If the second argument to \lstinline|\thmt@definecolor| (the key) starts
+% with a brace,
+% then \lstinline|\thmt@def@color| will have an empty second argument,
+% delimited by the brace of the key. Hopefully, the key will have exactly
+% enough arguments to satisfy \lstinline|\definecolor|. Then,
+% \lstinline|thmt@drop@relax| will be executed and gobble the fallback
+% values and the \lstinline|\thmt@colorlet|.
+%
+% If the key does not contain an opening brace, \lstinline|\thmt@def@color|
+% will drop everything up to \lstinline|{gray}{0.5}|. So, first the color
+% gets defined to a medium gray, but then, it immediately gets overwritten
+% with the definition corresponding to the color name.
+% \begin{macrocode}
\def\thmt@drop@relax#1\relax{}
\def\thmt@definecolor#1#2{%
\thmt@def@color{#1}#2\thmt@drop@relax
diff --git a/Master/texmf-dist/source/latex/thmtools/thmdef-thmbox.dtx b/Master/texmf-dist/source/latex/thmtools/thmdef-thmbox.dtx
index 8da999bfdaa..ea22cbae977 100644
--- a/Master/texmf-dist/source/latex/thmtools/thmdef-thmbox.dtx
+++ b/Master/texmf-dist/source/latex/thmtools/thmdef-thmbox.dtx
@@ -7,8 +7,17 @@
%\iffalse (hide this from DocInput)
%<*thmbox>
%\fi
+% The thmbox package does something else: instead of having a separate
+% environment, we have to use a command different from
+% \lstinline|\newtheorem| to get the boxed style. Fortunately,
+% \thmtools stores the command as \lstinline|\thmt@theoremdefiner|, so we
+% can modify it. (One of the perks if extension writer and framework writer
+% are the same person.) So, in contrast to the previous example, this time
+% we need to do something before the actual \lstinline|\newtheorem| is
+% called.
% \begin{macrocode}
\define@key{thmdef}{thmbox}[L]{%
+ \thmt@trytwice{%
\let\oldproof=\proof
\let\oldendproof=\endproof
\let\oldexample=\example
@@ -19,6 +28,7 @@
\let\example=\oldexample
\let\endexample=\oldendexample
\def\thmt@theoremdefiner{\newboxtheorem[#1]}%
+ }{}%
}%
% \end{macrocode}
%\iffalse (hide this from DocInput)
diff --git a/Master/texmf-dist/source/latex/thmtools/thmtools.dtx b/Master/texmf-dist/source/latex/thmtools/thmtools.dtx
index 0cb1696e9ff..80782f0fb76 100644
--- a/Master/texmf-dist/source/latex/thmtools/thmtools.dtx
+++ b/Master/texmf-dist/source/latex/thmtools/thmtools.dtx
@@ -28,45 +28,23 @@
%<*thmtools>
%\fi
% \begin{macrocode}
+\DeclareOption{debug}{%
+ \def\thmt@debug{\typeout}%
+}
% common abbreviations and marker macros.
\let\@xa\expandafter
\let\@nx\noexpand
+\def\thmt@debug{\@gobble}
\def\thmt@quark{\thmt@quark}
\newtoks\thmt@toks
+\ProcessOptions\relax
% a scratch counter, mostly for fake hyperlinks
\newcounter{thmt@dummyctr}%
\def\theHthmt@dummyctr{dummy.\arabic{thmt@dummyctr}}%
\def\thethmt@dummyctr{}%
-\newcommand\thmt@mkextendingkeyhandler[3]{%
-% #1: family
-% #2: prefix for file
-% #3: key hint for error
- \kv@set@family@handler{#1}{%
- \IfFileExists{#2-##1.sty}{%
- \PackageInfo{thmtools}%
- {Automatically pulling in `#2-##1'}%
- \RequirePackage{#2-##1}%
- \ifcsname KV@#1@##1\endcsname
- \csname KV@#1@##1\endcsname{##2}%
- \else
- \PackageError{thmtools}%
- {#3 `##1' not known}
- {I don't know what that key does.\MessageBreak
- I've even loaded the file `#2-##1.sty', but that didn't help.
- }%
- \fi
- }{%
- \PackageError{thmtools}%
- {#3 `##1' not known}
- {I don't know what that key does by myself,\MessageBreak
- and no file `#2-##1.sty' to tell me seems to exist.
- }%
- }%
- }
-}
\RequirePackage{thm-patch, thm-kv,
thm-autoref, thm-listof,
@@ -75,10 +53,24 @@
% Glue code for the big players.
\@ifpackageloaded{amsthm}{%
\RequirePackage{thm-amsthm}
-}{}
+}{%
+ \AtBeginDocument{%
+ \@ifpackageloaded{amsthm}{%
+ \PackageWarningNoLine{thmtools}{%
+ amsthm loaded after thmtools
+ }{}%
+ }}%
+}
\@ifpackageloaded{ntheorem}{%
\RequirePackage{thm-ntheorem}
-}{}
+}{%
+ \AtBeginDocument{%
+ \@ifpackageloaded{ntheorem}{%
+ \PackageWarningNoLine{thmtools}{%
+ ntheorem loaded after thmtools
+ }{}%
+ }}%
+}
\@ifclassloaded{beamer}{%
\RequirePackage{thm-beamer}
}{}
diff --git a/Master/texmf-dist/tex/latex/thmtools/aliasctr.sty b/Master/texmf-dist/tex/latex/thmtools/aliasctr.sty
index 76b8d150a11..89ca277e187 100644
--- a/Master/texmf-dist/tex/latex/thmtools/aliasctr.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/aliasctr.sty
@@ -20,7 +20,7 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {aliasctr}[2010/05/18 v24]
+\ProvidesPackage {aliasctr}[2010/06/08 v35]
\def\aliasctr@f@llow#1#2\@nil#3{%
\ifx#1\@elt
\noexpand #3%
diff --git a/Master/texmf-dist/tex/latex/thmtools/parseargs.sty b/Master/texmf-dist/tex/latex/thmtools/parseargs.sty
index 1216cebb1ad..eeb6af8e3f3 100644
--- a/Master/texmf-dist/tex/latex/thmtools/parseargs.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/parseargs.sty
@@ -20,7 +20,7 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {parseargs}[2010/05/18 v24]
+\ProvidesPackage {parseargs}[2010/06/08 v35]
\newtoks\@parsespec
\def\parse@endquark{\parse@endquark}
diff --git a/Master/texmf-dist/tex/latex/thmtools/thm-amsthm.sty b/Master/texmf-dist/tex/latex/thmtools/thm-amsthm.sty
index a96470cc88b..954ce933813 100644
--- a/Master/texmf-dist/tex/latex/thmtools/thm-amsthm.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/thm-amsthm.sty
@@ -20,7 +20,7 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {thm-amsthm}[2010/05/18 v24]
+\ProvidesPackage {thm-amsthm}[2010/06/08 v35]
\define@key{thmstyle}{spaceabove}{%
\def\thmt@style@spaceabove{#1}%
}
@@ -136,6 +136,19 @@
}%
}
+\def\thmt@amsthmlistbreakhack{%
+ \leavevmode
+ \vspace{-\baselineskip}%
+ \par
+ \everypar{\setbox\z@\lastbox\everypar{}}%
+}
+
+\define@key{thmuse}{listhack}[\relax]{%
+ \addtotheorempostheadhook[local]{%
+ \thmt@amsthmlistbreakhack
+ }%
+}
+
\endinput
%%
%% End of file `thm-amsthm.sty'.
diff --git a/Master/texmf-dist/tex/latex/thmtools/thm-autoref.sty b/Master/texmf-dist/tex/latex/thmtools/thm-autoref.sty
index 73a682d4e39..99b80416d94 100644
--- a/Master/texmf-dist/tex/latex/thmtools/thm-autoref.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/thm-autoref.sty
@@ -20,7 +20,7 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {thm-autoref}[2010/05/18 v24]
+\ProvidesPackage {thm-autoref}[2010/06/08 v35]
\RequirePackage{thm-patch, aliasctr, parseargs, keyval}
@@ -95,10 +95,22 @@
\AtBeginDocument{%
\@ifpackageloaded{nameref}{%
\addtotheorempostheadhook{%
- \expandafter\NR@gettitle\expandafter{\thmt@optarg}%
+ \expandafter\NR@gettitle\expandafter{\thmt@shortoptarg}%
}}{}
}
+\AtBeginDocument{%
+ \@ifpackageloaded{cleveref}{%
+ \@ifpackagelater{cleveref}{2010/04/30}{%
+ % OK, new enough
+ }{%
+ \PackageWarningNoLine{thmtools}{%
+ Your version of cleveref is too old!\MessageBreak
+ Update to version 0.16.1 or later%
+ }
+ }
+ }{}
+}
\endinput
%%
%% End of file `thm-autoref.sty'.
diff --git a/Master/texmf-dist/tex/latex/thmtools/thm-beamer.sty b/Master/texmf-dist/tex/latex/thmtools/thm-beamer.sty
index c690a3c6027..04b034e4939 100644
--- a/Master/texmf-dist/tex/latex/thmtools/thm-beamer.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/thm-beamer.sty
@@ -20,12 +20,14 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {thm-beamer}[2010/05/18 v24]
+\ProvidesPackage {thm-beamer}[2010/06/08 v35]
\newif\ifthmt@hasoverlay
\def\thmt@parsetheoremargs#1{%
\parse{%
{\parseOpt<>{\thmt@hasoverlaytrue\def\thmt@overlay{##1}}{}}%
- {\parseOpt[]{\def\thmt@optarg{##1}}{\let\thmt@optarg\@empty}}%
+ {\parseOpt[]{\def\thmt@optarg{##1}}{%
+ \let\thmt@shortoptarg\@empty
+ \let\thmt@optarg\@empty}}%
{\ifthmt@hasoverlay\expandafter\@gobble\else\expandafter\@firstofone\fi
{\parseOpt<>{\thmt@hasoverlaytrue\def\thmt@overlay{##1}}{}}%
}%
diff --git a/Master/texmf-dist/tex/latex/thmtools/thm-kv.sty b/Master/texmf-dist/tex/latex/thmtools/thm-kv.sty
index d984ebdee4c..47b0808b1ce 100644
--- a/Master/texmf-dist/tex/latex/thmtools/thm-kv.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/thm-kv.sty
@@ -20,12 +20,52 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {thm-kv}[2010/05/18 v24]
+\ProvidesPackage {thm-kv}[2010/06/08 v35]
\let\@xa\expandafter
\let\@nx\noexpand
\RequirePackage{keyval,kvsetkeys,thm-patch}
+\newcommand\thmt@mkignoringkeyhandler[1]{%
+ \kv@set@family@handler{#1}{%
+ \thmt@debug{Key `##1' with value `##2' ignored by #1.}%
+ }%
+}
+\newcommand\thmt@mkextendingkeyhandler[3]{%
+ \kv@set@family@handler{#1}{%
+ \thmt@selfextendingkeyhandler{#1}{#2}{#3}%
+ {##1}{##2}%
+ }%
+}
+
+\newcommand\thmt@selfextendingkeyhandler[5]{%
+ % #1: family
+ % #2: prefix for file
+ % #3: key hint for error
+ % #4: actual key
+ % #5: actual value
+ \IfFileExists{#2-#4.sty}{%
+ \PackageInfo{thmtools}%
+ {Automatically pulling in `#2-#4'}%
+ \RequirePackage{#2-#4}%
+ \ifcsname KV@#1@#4\endcsname
+ \csname KV@#1@#4\endcsname{#5}%
+ \else
+ \PackageError{thmtools}%
+ {#3 `#4' not known}
+ {I don't know what that key does.\MessageBreak
+ I've even loaded the file `#2-#4.sty', but that didn't help.
+ }%
+ \fi
+ }{%
+ \PackageError{thmtools}%
+ {#3 `#4' not known}
+ {I don't know what that key does by myself,\MessageBreak
+ and no file `#2-#4.sty' to tell me seems to exist.
+ }%
+ }%
+}
+
\newif\if@thmt@firstkeyset
\def\thmt@trytwice{%
@@ -94,7 +134,7 @@
\csname thmt@style #1@defaultkeys\endcsname}%
\fi
}
-\kv@set@family@handler{thmdef0}{}% ignore everything else.
+\thmt@mkignoringkeyhandler{thmdef0}
\def\thmt@setstyle#1{%
\PackageWarning{thm-kv}{%
@@ -157,6 +197,7 @@
\kvsetkeys{thmdef0}{#1}%
\kvsetkeys{thmdef}{#1}%
}
+\@onlypreamble\declaretheorem
\providecommand\thmt@quark{\thmt@quark}
@@ -167,17 +208,27 @@
\ifx\thmt@optarg\@empty\else
\@xa\thmt@garbleoptarg\@xa{\thmt@optarg}\fi
}%
+
+\newif\ifthmt@thmuse@iskv
+
\providecommand\thmt@garbleoptarg[1]{%
- \thmt@splitopt#1=\thmt@quark
- \ifcsname KV@thmuse@\thmt@tmpkey\endcsname
- % looks like a keyval-style argument
- \PackageInfo{thmtools}{kv-style argument to `\thmt@envname'}
- %\typeout{dbg: new-style arg `#1'}%
- \let\thmt@newoptarg\@empty
- \kvsetkeys{thmuse}{#1}%
- \let\thmt@optarg\thmt@newoptarg
- %\else
- % \typeout{dbg: old-style arg `#1'}%
+ \thmt@thmuse@iskvfalse
+ \def\thmt@newoptarg{\@gobble}%
+ \def\thmt@newoptargextra{}%
+ \def\thmt@warn@unusedkeys{}%
+ \@for\thmt@fam:=\thmt@thmuse@families\do{%
+ \kvsetkeys{\thmt@fam}{#1}%
+ }%
+ \ifthmt@thmuse@iskv
+ \protected@edef\thmt@optarg{%
+ \@xa\thmt@newoptarg
+ \thmt@newoptargextra\@empty
+ }%
+ \protected@edef\thmt@shortoptarg{\thmt@newoptarg\@empty}%
+ \thmt@warn@unusedkeys
+ \else
+ \def\thmt@optarg{#1}%
+ \def\thmt@shortoptarg{#1}%
\fi
}
\def\thmt@splitopt#1=#2\thmt@quark{%
@@ -188,13 +239,31 @@
\@onelevel@sanitize\thmt@tmpkey
}
-\define@key{thmuse}{label}{%
- %\typeout{setting label: #1}%
+\def\thmt@thmuse@families{thm@track@keys}
+
+\kv@set@family@handler{thm@track@keys}{%
+ \@onelevel@sanitize\kv@key
+ \@namedef{thmt@unusedkey@\kv@key}{%
+ \PackageWarning{thmtools}{Unused key `#1'}%
+ }%
+ \@xa\g@addto@macro\@xa\thmt@warn@unusedkeys\@xa{%
+ \csname thmt@unusedkey@\kv@key\endcsname
+ }
+}
+
+\def\thmt@define@thmuse@key#1#2{%
+ \g@addto@macro\thmt@thmuse@families{,#1}%
+ \define@key{#1}{#1}{\thmt@thmuse@iskvtrue
+ \@namedef{thmt@unusedkey@#1}{}%
+ #2}%
+ \thmt@mkignoringkeyhandler{#1}%
+}
+
+\thmt@define@thmuse@key{label}{%
\addtotheorempostheadhook[local]{\label{#1}}%
}
-\define@key{thmuse}{name}{%
- %\typeout{optarg: #1}%
- \def\thmt@newoptarg{#1}%
+\thmt@define@thmuse@key{name}{%
+ \def\thmt@newoptarg{#1\@iden}%
}
\def\thmt@declaretheoremstyle@setup{}
@@ -208,6 +277,7 @@
\kvsetkeys{thmstyle}{#1}%
\thmt@declaretheoremstyle{#2}%
}
+\@onlypreamble\declaretheoremstyle
\kv@set@family@handler{thmstyle}{%
\PackageInfo{thmtools}{%
diff --git a/Master/texmf-dist/tex/latex/thmtools/thm-listof.sty b/Master/texmf-dist/tex/latex/thmtools/thm-listof.sty
index e5e62bfb163..a302e139a0f 100644
--- a/Master/texmf-dist/tex/latex/thmtools/thm-listof.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/thm-listof.sty
@@ -20,7 +20,7 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {thm-listof}[2010/05/18 v24]
+\ProvidesPackage {thm-listof}[2010/06/08 v35]
\let\@xa=\expandafter
\let\@nx=\noexpand
\RequirePackage{thm-patch,keyval,kvsetkeys}
@@ -47,6 +47,11 @@
\def\contentsline##1{%
\csname thmt@contentsline@##1\endcsname{##1}%
}%
+ \@for\thmt@envname:=\thmt@allenvs\do{%
+ \@xa\protected@edef\csname l@\thmt@envname\endcsname{% CHECK: why p@edef?
+ \@nx\@dottedtocline{1}{1.5em}{\@nx\thmt@listnumwidth}%
+ }%
+ }%
\let\thref@starttoc\@starttoc
\def\@starttoc##1{\thref@starttoc{loe}}%
% new hack: to allow multiple calls, we defer the opening of the
@@ -62,7 +67,8 @@
}{}%
\fi
}%
- \expandafter\listoffigures
+ %\expandafter
+ \listoffigures
\egroup
}
@@ -88,13 +94,13 @@
\@xa\def\csname ll@\thmt@envname\endcsname{%
\protect\numberline{\protect\let\protect\autodot\protect\@empty}%
\thmt@thmname
- \ifx\@empty\thmt@optarg\else\protect\thmtformatoptarg{\thmt@optarg}\fi
+ \ifx\@empty\thmt@shortoptarg\else\protect\thmtformatoptarg{\thmt@shortoptarg}\fi
}%
\else
\@xa\def\csname ll@\thmt@envname\endcsname{%
\protect\numberline{\csname the\thmt@envname\endcsname}%
\thmt@thmname
- \ifx\@empty\thmt@optarg\else\protect\thmtformatoptarg{\thmt@optarg}\fi
+ \ifx\@empty\thmt@shortoptarg\else\protect\thmtformatoptarg{\thmt@shortoptarg}\fi
}%
\fi
\@xa\gdef\csname thmt@contentsline@\thmt@envname\endcsname{%
diff --git a/Master/texmf-dist/tex/latex/thmtools/thm-ntheorem.sty b/Master/texmf-dist/tex/latex/thmtools/thm-ntheorem.sty
index 8c5e6e80607..f505ddc2691 100644
--- a/Master/texmf-dist/tex/latex/thmtools/thm-ntheorem.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/thm-ntheorem.sty
@@ -20,7 +20,7 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {thm-ntheorem}[2010/05/18 v24]
+\ProvidesPackage {thm-ntheorem}[2010/06/08 v35]
\def\thmt@declaretheoremstyle@setup{}
\def\thmt@declaretheoremstyle#1{%
@@ -68,7 +68,13 @@
\thmt@notsupported{ntheorem}{headindent}%
}
\define@key{thmstyle}{qed}[\qedsymbol]{%
- \theoremsymbol{#1}%
+ \@ifpackagewith{ntheorem}{thmmarks}{%
+ \theoremsymbol{#1}%
+ }{%
+ \thmt@notsupported
+ {ntheorem without thmmarks option}%
+ {headindent}%
+ }%
}
\let\@upn=\textup
diff --git a/Master/texmf-dist/tex/latex/thmtools/thm-patch.sty b/Master/texmf-dist/tex/latex/thmtools/thm-patch.sty
index 4d883956bb4..831e32e3459 100644
--- a/Master/texmf-dist/tex/latex/thmtools/thm-patch.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/thm-patch.sty
@@ -20,7 +20,7 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {thm-patch}[2010/05/18 v24]
+\ProvidesPackage {thm-patch}[2010/06/08 v35]
\RequirePackage{parseargs}
\newif\ifthmt@isstarred
@@ -29,7 +29,9 @@
\def\thmt@parsetheoremargs#1{%
\parse{%
- {\parseOpt[]{\def\thmt@optarg{##1}}{\let\thmt@optarg\@empty}}%
+ {\parseOpt[]{\def\thmt@optarg{##1}}{%
+ \let\thmt@shortoptarg\@empty
+ \let\thmt@optarg\@empty}}%
{%
\def\thmt@local@preheadhook{}%
\def\thmt@local@postheadhook{}%
@@ -42,9 +44,11 @@
\ifx\@empty\thmt@optarg\else [{\thmt@optarg}]\fi
}%
\csname thmt@original@#1\@xa\endcsname\tmp@args
- \thmt@local@postheadhook
+ %%moved down: \thmt@local@postheadhook
+ %% (give postheadhooks a chance to re-set nameref data)
\csname thmt@#1@postheadhook\endcsname
\thmt@generic@postheadhook
+ \thmt@local@postheadhook
\let\@parsecmd\@empty
}%
}%
diff --git a/Master/texmf-dist/tex/latex/thmtools/thm-restate.sty b/Master/texmf-dist/tex/latex/thmtools/thm-restate.sty
index bac42e29184..7df9032c04a 100644
--- a/Master/texmf-dist/tex/latex/thmtools/thm-restate.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/thm-restate.sty
@@ -20,7 +20,7 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {thm-restate}[2010/05/18 v24]
+\ProvidesPackage {thm-restate}[2010/06/08 v35]
\let\@xa\expandafter
\let\@nx\noexpand
diff --git a/Master/texmf-dist/tex/latex/thmtools/thmdef-shaded.sty b/Master/texmf-dist/tex/latex/thmtools/thmdef-shaded.sty
index c20579eac50..fb7c702151f 100644
--- a/Master/texmf-dist/tex/latex/thmtools/thmdef-shaded.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/thmdef-shaded.sty
@@ -20,7 +20,7 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {thmdef-shaded}[2010/05/18 v24]
+\ProvidesPackage {thmdef-shaded}[2010/06/08 v35]
\define@key{thmdef}{shaded}[{}]{%
\thmt@trytwice{}{%
\RequirePackage{shadethm}%
@@ -36,7 +36,6 @@
\define@key{thmt@shade}{rulecolor}{\thmt@definecolor{shaderulecolor}{#1}}
\define@key{thmt@shade}{rulewidth}{\setlength\shadeboxrule{#1}}
\define@key{thmt@shade}{margin}{\setlength\shadeboxsep{#1}}
-
\def\thmt@colorlet#1#2{%
%\typeout{don't know how to let color `#1' be like color `#2'!}%
\@xa\let\csname\string\color@#1\@xa\endcsname
@@ -48,7 +47,6 @@
\let\thmt@colorlet\colorlet
\fi
}
-
\def\thmt@drop@relax#1\relax{}
\def\thmt@definecolor#1#2{%
\thmt@def@color{#1}#2\thmt@drop@relax
diff --git a/Master/texmf-dist/tex/latex/thmtools/thmdef-thmbox.sty b/Master/texmf-dist/tex/latex/thmtools/thmdef-thmbox.sty
index cc2e82cd1af..bc343754c16 100644
--- a/Master/texmf-dist/tex/latex/thmtools/thmdef-thmbox.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/thmdef-thmbox.sty
@@ -20,8 +20,9 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {thmdef-thmbox}[2010/05/18 v24]
+\ProvidesPackage {thmdef-thmbox}[2010/06/08 v35]
\define@key{thmdef}{thmbox}[L]{%
+ \thmt@trytwice{%
\let\oldproof=\proof
\let\oldendproof=\endproof
\let\oldexample=\example
@@ -32,6 +33,7 @@
\let\example=\oldexample
\let\endexample=\oldendexample
\def\thmt@theoremdefiner{\newboxtheorem[#1]}%
+ }{}%
}%
\endinput
%%
diff --git a/Master/texmf-dist/tex/latex/thmtools/thmtools.sty b/Master/texmf-dist/tex/latex/thmtools/thmtools.sty
index e0c56a950bf..3d7da9e41bf 100644
--- a/Master/texmf-dist/tex/latex/thmtools/thmtools.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/thmtools.sty
@@ -20,51 +20,46 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {thmtools}[2010/05/18 v24]
+\ProvidesPackage {thmtools}[2010/06/08 v35]
+\DeclareOption{debug}{%
+ \def\thmt@debug{\typeout}%
+}
\let\@xa\expandafter
\let\@nx\noexpand
+\def\thmt@debug{\@gobble}
\def\thmt@quark{\thmt@quark}
\newtoks\thmt@toks
+\ProcessOptions\relax
+
\newcounter{thmt@dummyctr}%
\def\theHthmt@dummyctr{dummy.\arabic{thmt@dummyctr}}%
\def\thethmt@dummyctr{}%
-\newcommand\thmt@mkextendingkeyhandler[3]{%
- \kv@set@family@handler{#1}{%
- \IfFileExists{#2-##1.sty}{%
- \PackageInfo{thmtools}%
- {Automatically pulling in `#2-##1'}%
- \RequirePackage{#2-##1}%
- \ifcsname KV@#1@##1\endcsname
- \csname KV@#1@##1\endcsname{##2}%
- \else
- \PackageError{thmtools}%
- {#3 `##1' not known}
- {I don't know what that key does.\MessageBreak
- I've even loaded the file `#2-##1.sty', but that didn't help.
- }%
- \fi
- }{%
- \PackageError{thmtools}%
- {#3 `##1' not known}
- {I don't know what that key does by myself,\MessageBreak
- and no file `#2-##1.sty' to tell me seems to exist.
- }%
- }%
- }
-}
-
\RequirePackage{thm-patch, thm-kv,
thm-autoref, thm-listof,
thm-restate}
\@ifpackageloaded{amsthm}{%
\RequirePackage{thm-amsthm}
-}{}
+}{%
+ \AtBeginDocument{%
+ \@ifpackageloaded{amsthm}{%
+ \PackageWarningNoLine{thmtools}{%
+ amsthm loaded after thmtools
+ }{}%
+ }}%
+}
\@ifpackageloaded{ntheorem}{%
\RequirePackage{thm-ntheorem}
-}{}
+}{%
+ \AtBeginDocument{%
+ \@ifpackageloaded{ntheorem}{%
+ \PackageWarningNoLine{thmtools}{%
+ ntheorem loaded after thmtools
+ }{}%
+ }}%
+}
\@ifclassloaded{beamer}{%
\RequirePackage{thm-beamer}
}{}
diff --git a/Master/texmf-dist/tex/latex/thmtools/unique.sty b/Master/texmf-dist/tex/latex/thmtools/unique.sty
index fa804ce6602..378dd6dce8b 100644
--- a/Master/texmf-dist/tex/latex/thmtools/unique.sty
+++ b/Master/texmf-dist/tex/latex/thmtools/unique.sty
@@ -20,7 +20,7 @@
%%
%%
\NeedsTeXFormat {LaTeX2e}
-\ProvidesPackage {unique}[2010/05/18 v24]
+\ProvidesPackage {unique}[2010/06/08 v35]
\DeclareOption{unq}{%
\newwrite\uniq@channel