summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/bussproofs
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2006-11-03 06:16:00 +0000
committerNorbert Preining <preining@logic.at>2006-11-03 06:16:00 +0000
commita6d4e22f961008636a3bfc36f89570e6fa0c85f6 (patch)
tree9d13f81b2a37ab6bdf3336066017d4cb5e701011 /Master/texmf-dist/tex/latex/bussproofs
parente9b9a3f32d1a5b371fa2256f098ee4b158f6df1d (diff)
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
Diffstat (limited to 'Master/texmf-dist/tex/latex/bussproofs')
-rw-r--r--Master/texmf-dist/tex/latex/bussproofs/bussproofs.sty25
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