From a6d4e22f961008636a3bfc36f89570e6fa0c85f6 Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Fri, 3 Nov 2006 06:16:00 +0000 Subject: several updates (sorry Karl, it was a long train ride): updates of packages: screenplay, bussproofs computational-complexity dvdcoll gnuplottex mathmode movie15 pgf pstricks-add pst-labo trfsigns (dvi->pdf move, COPYING file to doc) toptesi tocvsec2 thumb textfit (doc move) added to tpm-ctan-check: typogrid trsym trfsigns tracking toptesi toolbox todo tocvsec2 tocloft tocbibind titling titlefoot thumb textopo textfit teubner tensor git-svn-id: svn://tug.org/texlive/trunk@2382 c570f23f-e606-0410-a88d-b1316a301751 --- .../texmf-dist/tex/latex/bussproofs/bussproofs.sty | 25 ++++++++++++++++++++-- 1 file changed, 23 insertions(+), 2 deletions(-) (limited to 'Master/texmf-dist/tex/latex/bussproofs') 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 -- cgit v1.2.3