summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex')
-rw-r--r--Master/texmf-dist/doc/latex/thmtools/thmtools-manual.tex3
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]