summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/lwarp/lwarp-bussproofs.sty
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-09-22 21:08:49 +0000
committerKarl Berry <karl@freefriends.org>2020-09-22 21:08:49 +0000
commitfcde1ba3d731a6534c92efe10defa9f44a7928d4 (patch)
treebb2065bb8669d42bd0f179480ad7f32b6b6ab90b /Master/texmf-dist/tex/latex/lwarp/lwarp-bussproofs.sty
parentfa6d66c6b0713c364893aa18d4eb1e867b67fbe2 (diff)
lwarp (22sep20)
git-svn-id: svn://tug.org/texlive/trunk@56405 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/lwarp/lwarp-bussproofs.sty')
-rw-r--r--Master/texmf-dist/tex/latex/lwarp/lwarp-bussproofs.sty34
1 files changed, 34 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/lwarp/lwarp-bussproofs.sty b/Master/texmf-dist/tex/latex/lwarp/lwarp-bussproofs.sty
new file mode 100644
index 00000000000..55db76e34ce
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/lwarp/lwarp-bussproofs.sty
@@ -0,0 +1,34 @@
+%%
+%% This is file `lwarp-bussproofs.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% lwarp.dtx (with options: `bussproofs')
+%% This is a generated file.
+%% Copyright 2016-2020 Brian Dunn
+%%
+%% This work may be distributed and/or modified under the
+%% conditions of the LaTeX Project Public License, either version 1.3
+%% of this license or (at your option) any later version.
+%% The latest version of this license is in
+%% http://www.latex-project.org/lppl.txt
+%% and version 1.3 or later is part of all distributions of LaTeX
+%% version 2005/12/01 or later.
+\LWR@ProvidesPackagePass{bussproofs}% no date in file
+\ifbool{mathjax}{
+ \CustomizeMathJax{\require{bussproofs}}
+
+ \NewEnviron{LWR@HTML@prooftree}%
+ {\LWR@doequation{\BODY}{prooftree}}%
+ [\LWR@doendequation{prooftree}]
+ \LWR@formattedenv{prooftree}
+}{% SVG HTML
+ \BeforeBeginEnvironment{prooftree}{%
+ \begin{lateximage}[-bussproofs-~\PackageDiagramAltText]%
+ }
+ \AfterEndEnvironment{prooftree}{\end{lateximage}}
+}
+\endinput
+%%
+%% End of file `lwarp-bussproofs.sty'.