diff options
author | Karl Berry <karl@freefriends.org> | 2010-07-11 22:43:34 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-07-11 22:43:34 +0000 |
commit | b654ef0b09c4b139ace61d2429f4d8b4c7f30e8e (patch) | |
tree | 21ad6e9e18acff359f47c661411a3c77238dcba8 /Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex | |
parent | 832adfe312ce50bfe615e4c31eaa51541cefe817 (diff) |
thmtools 43 (11jul10)
git-svn-id: svn://tug.org/texlive/trunk@19380 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex b/Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex index ea0380c2515..7c43fdfa3e3 100644 --- a/Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex +++ b/Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex @@ -708,6 +708,9 @@ given to be changed to |\ref{foo}|, and a text is added to the note. (The exact text is given by the macro |\thmcontinues|, which takes the label as its argument.) + \item[restate] Saying |restate=foo| will hopefully work like + wrapping this theorem in a restatable environment. (It probably still fails + in cases that I didn't think of.) \end{description} \begin{source} \begin{body}[gobble=6] |