summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/thmtools
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-06-25 11:34:57 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-06-25 11:34:57 +0000
commit47f4481a23ad516f02cbd8a8bd2a2c180a1ac883 (patch)
treec96ec730f8c3173be622dc99c56335a40c18f221 /Master/texmf-dist/doc/latex/thmtools
parent7f6c139bbdbbbcee9140892f8fad3584d63cf446 (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/TODO15
-rw-r--r--Master/texmf-dist/doc/latex/thmtools/demo.tex71
-rw-r--r--Master/texmf-dist/doc/latex/thmtools/thmtools.pdfbin84987 -> 93344 bytes
-rw-r--r--Master/texmf-dist/doc/latex/thmtools/thmtools.tex99
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
index 08a7eb8bcbb..4ca96448127 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/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}