blob: 55db76e34ce399eb600cf54355e081210bd64722 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
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'.
|
