From f38ebc89879be11277f031e411e7515bef2bde47 Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Wed, 11 Oct 2006 18:04:15 +0000 Subject: update lkproof git-svn-id: svn://tug.org/texlive/trunk@2303 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/latex/lkproof/proof.sty | 355 ++++++++++++-------------- 1 file changed, 168 insertions(+), 187 deletions(-) (limited to 'Master/texmf-dist/tex/latex') diff --git a/Master/texmf-dist/tex/latex/lkproof/proof.sty b/Master/texmf-dist/tex/latex/lkproof/proof.sty index e32030018a1..c272a8103f1 100644 --- a/Master/texmf-dist/tex/latex/lkproof/proof.sty +++ b/Master/texmf-dist/tex/latex/lkproof/proof.sty @@ -1,8 +1,8 @@ -% proof.sty (Proof Figure Macros) +% proof.sty (Proof Figure Macros) % -% version 3.0 (for both LaTeX 2.09 and LaTeX 2e) -% Mar 6, 1997 -% Copyright (C) 1990 -- 1997, Makoto Tatsuta (tatsuta@kusm.kyoto-u.ac.jp) +% version 3.1 (for both LaTeX 2.09 and LaTeX 2e) +% Nov 24, 2005 +% Copyright (C) 1990 -- 2005, Makoto Tatsuta (tatsuta@nii.ac.jp) % % This program is free software; you can redistribute it or modify % it under the terms of the GNU General Public License as published by @@ -14,71 +14,71 @@ % MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the % GNU General Public License for more details. % -% Usage: -% In \documentstyle, specify an optional style `proof', say, -% \documentstyle[proof]{article}. +% Usage: +% In \documentstyle, specify an optional style `proof', say, +% \documentstyle[proof]{article}. % -% The following macros are available: +% The following macros are available: % -% In all the following macros, all the arguments such as -% and are processed in math mode. +% In all the following macros, all the arguments such as +% and are processed in math mode. % -% \infer -% draws an inference. +% \infer +% draws an inference. % -% Use & in to delimit upper formulae. -% consists more than 0 formulae. +% Use & in to delimit upper formulae. +% consists more than 0 formulae. % -% \infer returns \hbox{ ... } or \vbox{ ... } and -% sets \@LeftOffset and \@RightOffset globally. +% \infer returns \hbox{ ... } or \vbox{ ... } and +% sets \@LeftOffset and \@RightOffset globally. % -% \infer[