From fcde1ba3d731a6534c92efe10defa9f44a7928d4 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Tue, 22 Sep 2020 21:08:49 +0000 Subject: lwarp (22sep20) git-svn-id: svn://tug.org/texlive/trunk@56405 c570f23f-e606-0410-a88d-b1316a301751 --- .../tex/latex/lwarp/lwarp-bussproofs.sty | 34 ++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 Master/texmf-dist/tex/latex/lwarp/lwarp-bussproofs.sty (limited to 'Master/texmf-dist/tex/latex/lwarp/lwarp-bussproofs.sty') 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'. -- cgit v1.2.3