summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/thmtools/source/thmdef-thmbox.dtx
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/thmtools/source/thmdef-thmbox.dtx')
-rw-r--r--macros/latex/contrib/thmtools/source/thmdef-thmbox.dtx6
1 files changed, 6 insertions, 0 deletions
diff --git a/macros/latex/contrib/thmtools/source/thmdef-thmbox.dtx b/macros/latex/contrib/thmtools/source/thmdef-thmbox.dtx
index 59409fd79e..d4bb88b7ab 100644
--- a/macros/latex/contrib/thmtools/source/thmdef-thmbox.dtx
+++ b/macros/latex/contrib/thmtools/source/thmdef-thmbox.dtx
@@ -26,11 +26,17 @@
\define@key{thmdef}{thmbox}[L]{%
\thmt@trytwice{%
\let\oldproof=\proof
+ % backup \\proof, gh32
+ \expandafter\let\csname old\@backslashchar proof\expandafter\endcsname
+ \csname \@backslashchar proof\endcsname
\let\oldendproof=\endproof
\let\oldexample=\example
\let\oldendexample=\endexample
\RequirePackage[nothm]{thmbox}
\let\proof=\oldproof
+ % restore thmbox's change to \\proof, gh32
+ \expandafter\let\csname \@backslashchar proof\expandafter\endcsname
+ \csname old\@backslashchar proof\endcsname
\let\endproof=\oldendproof
\let\example=\oldexample
\let\endexample=\oldendexample