diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-06-25 11:34:57 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-06-25 11:34:57 +0000 |
commit | 47f4481a23ad516f02cbd8a8bd2a2c180a1ac883 (patch) | |
tree | c96ec730f8c3173be622dc99c56335a40c18f221 /Master/texmf-dist/doc/latex/thmtools | |
parent | 7f6c139bbdbbbcee9140892f8fad3584d63cf446 (diff) |
thmtools patch update v0.1beta6 2008/06/22
git-svn-id: svn://tug.org/texlive/trunk@9040 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/thmtools')
-rw-r--r-- | Master/texmf-dist/doc/latex/thmtools/TODO | 15 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/thmtools/demo.tex | 71 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/thmtools/thmtools.pdf | bin | 84987 -> 93344 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/thmtools/thmtools.tex | 99 |
4 files changed, 15 insertions, 170 deletions
diff --git a/Master/texmf-dist/doc/latex/thmtools/TODO b/Master/texmf-dist/doc/latex/thmtools/TODO index f41779340f3..8e7fd1d08e9 100644 --- a/Master/texmf-dist/doc/latex/thmtools/TODO +++ b/Master/texmf-dist/doc/latex/thmtools/TODO @@ -1,6 +1,21 @@ +- maybe store more counters in thm-restate? currently, you cannot re-use + equation numbers, for example. Those all need to be carried around via + \label or equivalent. + +- when using framed, restated version has different vertical spacing. + Oh dear oh dear, might be some addvspace artifact? + - ref close-by/far-away - complex refs (these two are very similar) + +- re pre/posthooks: nesting nightmare: addposthook should _pre_pend and + addprehook should _ap_pend. Still, check what we know about the order in which + kv executes the options. FIXED by implementing and using \g@prependto@macro + kv stuff might not matter: a key such as "shaded" that wants to add an + environment should immediately do both, and user should specify keys in + right order (i.e. "prehook, posthook, shaded" or "shaded, prehook, posthook" + but *not* "prehook, shaded, posthook"). - starred theorems and number in list-of-theorems diff --git a/Master/texmf-dist/doc/latex/thmtools/demo.tex b/Master/texmf-dist/doc/latex/thmtools/demo.tex deleted file mode 100644 index 31e0adc524d..00000000000 --- a/Master/texmf-dist/doc/latex/thmtools/demo.tex +++ /dev/null @@ -1,71 +0,0 @@ -\documentclass{article} - -\usepackage{amsmath, amsthm} - - -\usepackage{ - thm-listof, - thm-restate, - thm-autoref, - thm-kv, - } - -\usepackage{hyperref} - -\declaretheorem[unnumbered, - title={Zorn's Lemma}]{zl} -%\newtheorem*{zl}{Zorn's Lemma} -\declaretheorem[numberwithin=section]{theorem} -%\newtheorem{theorem}{Theorem}[section] -\declaretheorem[sibling=theorem]{lemma} -%\newtheorem{lemma}[theorem]{Lemma} -\declaretheorem[numberlike=lemma]{axiom} -%\newtheorem{axiom}[lemma]{Axiom} - - -\begin{document} - \section{Introduction} - - In this dummy document, we will show important things. One very important - insight is - \begin{lemma}[Zorn] - If every chain in $X$ is bounded, $X$ has a maximal element. - - (Here, $X$ is a set system.) - \end{lemma} - - This lemma is so important that it's a fixed name: - \begin{restatable}{zl}{zornslemma} - If every chain in $X$ is bounded, $X$ has a maximal element. - - (Here, $X$ is a set system.) - \end{restatable} - - We will conclude in important theorem from this: - \begin{restatable}[Well-ordering]{theorem}{wohlordnung}\label{thm:order} - Every set is well-ordered. - \end{restatable} - - %\show\wohlordnung - - \section{Main} - - Here, we will prove \wohlordnung which first appeared - as~\autoref{thm:order} on page~\pageref{thm:order} and is - actually equivalent to - \zornslemma - - Another equivalent formulation is - \begin{axiom}[Axiom of Choice] - If you have a non-empty set, you can take an element out of it. - \end{axiom} - - \section{Conclusion} - - To remind you, these are the theorems that occur in this document, - ignoring Lemmas: - - \ignoretheorems{lemma} - \listoftheorems - -\end{document} diff --git a/Master/texmf-dist/doc/latex/thmtools/thmtools.pdf b/Master/texmf-dist/doc/latex/thmtools/thmtools.pdf Binary files differindex 08a7eb8bcbb..4ca96448127 100644 --- a/Master/texmf-dist/doc/latex/thmtools/thmtools.pdf +++ b/Master/texmf-dist/doc/latex/thmtools/thmtools.pdf diff --git a/Master/texmf-dist/doc/latex/thmtools/thmtools.tex b/Master/texmf-dist/doc/latex/thmtools/thmtools.tex deleted file mode 100644 index 6b8bef7ce29..00000000000 --- a/Master/texmf-dist/doc/latex/thmtools/thmtools.tex +++ /dev/null @@ -1,99 +0,0 @@ -%$Id: thmtools.tex,v 1.3 2008/02/17 21:08:04 ulmi Exp ulmi $ -\documentclass[a4paper, abstracton]{scrartcl} - -\usepackage[T1]{fontenc} -\usepackage{fourier} -\usepackage[scaled]{helvet} - -\addtokomafont{sectioning}{\fontseries{bc}\selectfont} - -\newcommand\thmtools{\textsf{thmtools}} - -\title{The \thmtools\ bundle\thanks{% - This is a beta version. If you want to slightly ahead of your time, - new development versions are availably from http://www.absatzen.de/thmtools.html -}} -\author{Ulrich M. Schwarz\thanks{ulmi@absatzen.de}} - -\begin{document} - \maketitle - - \begin{abstract} - The \thmtools\ bundle provides several packages for commonly-needed - features for theorems. As designed, the bundle should work with kernel - theorems, the theorem package and the amsthm package. - - \textbf{Warning:} Currently, things might still be a bit rough. You - might want to consider not relying on \thmtools\ for your Ph.D. thesis - masterpiece. - \end{abstract} - - - \section{thm-autoref} - - Fixes cooperation with hyperref's \verb|\autoref|. No further intervention - on part of the user needed. (Loads aliasctr, thm-patch.) - - \section{thm-listof} - - Provides a \verb|\listoftheorems| command that works like - \verb|\listoffigures|. Also provided: a \verb|\ignoretheorems| command that - lets you exempt certain kinds: - \begin{verbatim} - \ignoretheorems{example,exercise,remark} - \end{verbatim} - There's currently no user interface to customize the appearance of the - LoTheorems. (Loads thm-patch.) - - \section{thm-kv} - - Provides a key-value alternative to \verb|\newtheorem|, because I keep - forgetting which optional argument goes where. Example: - \begin{verbatim} - \declaretheorem[unnumbered, title={Zorn's Lemma}]{zl} - %\newtheorem*{zl}{Zorn's Lemma} - \declaretheorem[numberwithin=section]{theorem} - %\newtheorem{theorem}{Theorem}[section] - \declaretheorem[sibling=theorem]{lemma} - %\newtheorem{lemma}[theorem]{Lemma} - \declaretheorem[numberlike=lemma]{axiom} - %\newtheorem{axiom}[lemma]{Axiom} - \end{verbatim} - Supported keywords (several for the same functionality, because if you - need to remember the keyword, you can just as well remember the order): - parent, numberwithin, within; sibling, numberlike, sharenumber; - unnumbered, starred\footnote{works only with amsthm}; title, name, - heading. - - Note: it's actually optional to give a title, in that case, the default is - the name of the environment, with first letter uppercased. - - \section{thm-restate} - - Provides an environment \verb|restatable| that essentially puts the entire - theorem into a single macro command for later re-statement: - \begin{verbatim} - \begin{restatable}[Well-ordering]{theorem}{wohlordnung}\label{thm:order} - Every set is well-ordered. - \end{restatable} - And again: \wohlordnung - \end{verbatim} - Note that the label will be handled correctly (i.e. not re-defined). - Limitation: verbatim-like things will not work. There's no handling for - other counters, so it's not advisable to put floats inside a restatable. - - \section{aliasctr} - - Helper package, see separate doc. - - \section{unique} - - Helper package, see separate doc. Not used yet. - - \section{thm-patch} - Helper package: redefines \verb|\newtheorem| so the defined theorems have - hooks we can use. Note that the redefinition will always allow - \verb|\newtheorem*| and giving contradicting optional arguments, but the - backend original \verb|\newtheorem| will complain. - -\end{document} |