%% %% 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'.