diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/bussproofs/bussproofs.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/bussproofs/bussproofs.sty | 25 |
1 files changed, 23 insertions, 2 deletions
diff --git a/Master/texmf-dist/tex/latex/bussproofs/bussproofs.sty b/Master/texmf-dist/tex/latex/bussproofs/bussproofs.sty index b5d7cc83bd5..8d2d4481a10 100644 --- a/Master/texmf-dist/tex/latex/bussproofs/bussproofs.sty +++ b/Master/texmf-dist/tex/latex/bussproofs/bussproofs.sty @@ -2,10 +2,31 @@ \def\BPmessage{Proof Tree (bussproofs) style macros. Version 1.0.} % bussproofs.sty. Version 1.0 % (c) 1994,1995,1996,2004,2005,2006. Copyright retained by Samuel R. Buss. +% +% ==== Legal statement: ==== +% 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/1 or later. +% +% This work has the LPPL maintenance status 'maintained'. +% +% The Current Maintainer of the work is Sam Buss. +% +% This work consists of bussproofs.sty. +% ===== +% Informal summary of legal situation: % This software may be used and distributed freely, except that % if you make changes, you must change the file name to be different % than bussproofs.sty to avoid compatibility problems. +% The terms of the LaTeX Public License are the legally controlling terms +% and override any contradictory terms of the "informal situation". +% % Please report comments and bugs to sbuss@ucsd.edu. +% % Thanks to Felix Joachimski for making changes to let these macros % work in plain TeX in addition to LaTeX. Nothing has been done % to see if they work in AMSTeX. The comments below mostly @@ -261,7 +282,7 @@ % Parameters which control the style of the proof trees. % The user may wish to override these parameters locally or globally. -% BUT DONT CHANGE THE PARAMETERS BY CHANGING THIS FILE (to avoid +% BUT DON'T CHANGE THE PARAMETERS BY CHANGING THIS FILE (to avoid % future incompatibilities). Instead, you should change them in your % TeX document right after including this style file in the % header material of your LaTeX document. @@ -284,7 +305,7 @@ \def\proofSkipAmount{\vskip.8ex plus.8ex minus.4ex} % Space above and below a prooftree display. -\def\defaultRootPosition{\buildRootBottom} +\def\defaultRootPosition{\buildRootBottom} % Default: Proofs root at bottom %\def\defaultRootPosition{\buildRootTop} % Makes all proofs upside down \ifx\fCenter\undefined |