diff options
author | Karl Berry <karl@freefriends.org> | 2013-08-09 22:15:51 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-08-09 22:15:51 +0000 |
commit | a7e117da3cb21d1ee63a0e427b8bd5de014b221b (patch) | |
tree | 5db7e617eae1ccfa92695c7e9621f7a33a7aa9b0 /Master/texmf-dist/tex | |
parent | 7d3462c6a518313b846885660ce59c0a1474958d (diff) |
lambda-lists (9aug13), plus remove the lambda.sty copy from skak (CTAN update coming soon)
git-svn-id: svn://tug.org/texlive/trunk@31402 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex')
-rw-r--r-- | Master/texmf-dist/tex/plain/lambda-lists/lambda.sty (renamed from Master/texmf-dist/tex/latex/skak/lambda.sty) | 35 |
1 files changed, 13 insertions, 22 deletions
diff --git a/Master/texmf-dist/tex/latex/skak/lambda.sty b/Master/texmf-dist/tex/plain/lambda-lists/lambda.sty index 2a5c697e663..50c2c97fe86 100644 --- a/Master/texmf-dist/tex/latex/skak/lambda.sty +++ b/Master/texmf-dist/tex/plain/lambda-lists/lambda.sty @@ -1,31 +1,22 @@ -% Filename: Lambda.sty +% Filename: lambda.sty % Author: Alan Jeffrey -% Last modified: 12 Feb 1990 +% Last modified: 12 Feb 1990 (license changed to LPPL: 6 Aug 2013) % -% This style is (c) 1990 Alan Jeffrey. Permission is granted to make -% copies, as long as -% -% a) no deletions are made, -% -% b) all additions are clearly marked, in amongst all this header information, -% *and* where the addition has been made, and -% -% c) if you make any additions, then change the name of the file -% -% See the Gnu manifesto for details on why software ought to be free. -% -% If you are worrying about the first three clauses, they're just -% there to make sure tons of different styles with the same name -% don't proliferate. If you want to remove a definition, then just -% comment it out (adding a %, not deleting anything). -% -% Tugboat are given permission to publish any or all of this. +% Copyright 1990-2013 Alan Jeffrey. +% This file is part of the lambda-lists package. +% +% 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 2003/12/01 or later. % % This style provides a pile of lambda-calculus and list-handling -% macros of an incredibly obtuse nature. Read Lambda.tex to find out +% macros of an incredibly obtuse nature. Read lambda-lists.tex to find out % what they all do and how they do it. This \TeX\ code was formally % verified. -% % Alan Jeffrey, 25 Jan 1990. \def\Identity#1{#1} |