From 8f3b401d5aea56b8aa16a6be53af0d2983dda060 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Tue, 6 Dec 2016 00:28:31 +0000 Subject: prooftrees (5dec16) git-svn-id: svn://tug.org/texlive/trunk@42641 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/prooftrees/README | 2 +- .../texmf-dist/doc/latex/prooftrees/prooftrees.pdf | Bin 850665 -> 851227 bytes .../texmf-dist/doc/latex/prooftrees/prooftrees.tex | 14 +++++++++++--- .../doc/latex/prooftrees/prooftrees_biber.bib | 12 ++++++------ .../texmf-dist/tex/latex/prooftrees/prooftrees.sty | 6 +++--- 5 files changed, 21 insertions(+), 13 deletions(-) diff --git a/Master/texmf-dist/doc/latex/prooftrees/README b/Master/texmf-dist/doc/latex/prooftrees/README index 1d9fec482c3..247417a6397 100644 --- a/Master/texmf-dist/doc/latex/prooftrees/README +++ b/Master/texmf-dist/doc/latex/prooftrees/README @@ -34,6 +34,6 @@ belief that prooftrees has bugs is not among them. Clea F. Rees ReesC21 cardiff ac uk -2016/05/15 +2016/12/05 vim: set nospell: diff --git a/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf b/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf index 591d6aa1281..521a8d7266f 100644 Binary files a/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf and b/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf differ diff --git a/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex b/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex index 5e96f58a587..9c481798d77 100644 --- a/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex +++ b/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex @@ -16,10 +16,11 @@ %% % arara: pdflatex: { synctex: true, shell: false } % biber --output_format=bibtex --output_resolve prooftrees.bcf to generate .bib for upload +% sed -i '/1977/s/DATE/YEAR %% \pdfminorversion=7 \RequirePackage{svn-prov} -\ProvidesFileSVN{$Id: prooftrees.tex 4931 2016-05-15 22:57:52Z cfrees $}[v0.4 pgfmath branch \revinfo] +\ProvidesFileSVN{$Id: prooftrees.tex 5567 2016-12-05 03:44:11Z cfrees $}[v0.41 pgfmath branch \revinfo] \GetFileInfoSVN* \let\prooftreesdocversion\fileversion \let\prooftreesdocbase\filebase @@ -432,8 +433,8 @@ \end{adjustwidth} \end{figure} -\emph{\bfseries Note that this package requires version 2.0.2 (2016/03/04) of \pkg{forest} \autocite{saso-forest-manual}. - It will not work with versions prior to 2 and some features will not work correctly with versions prior to 2.0.2.} +\emph{\bfseries Note that this package requires version 2.1 (2016/12/04) of \pkg{forest} \autocite{saso-forest-manual}. + It will not work with versions prior to 2 and some features will not work correctly with versions prior to 2.1.} \bigskip \emph{I would like to thank \citeauthor{saso-forest-manual} both for developing \pkg{forest} and for considerable patience in answering my questions, addressing my confusions and correcting my mistakes. @@ -1861,6 +1862,13 @@ For example, if for some reason you would like bold line numbers, try \section{Version History}\label{sec:hanes} % BEGIN sec:hanes +\subsection*{0.41}\label{subsec:v0.41} +% BEGIN subsec:v0.41 + +Update for compatibility with \pkg{forest} 2.1. + +% END subsec:v0.41 + \subsection*{0.4}\label{subsec:v0.4} % BEGIN subsec:v0.4 diff --git a/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib b/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib index c2c6dba09b1..d292955f8c1 100644 --- a/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib +++ b/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib @@ -1,27 +1,27 @@ @BOOK{hodges-logic, AUTHOR = {Hodges, Wilfred}, - ISBN = {0140136363}, PUBLISHER = {Penguin}, - TITLE = {Logic: An Introduction to Elementary Logic}, YEAR = {1977, 1991}, + ISBN = {0140136363}, + TITLE = {Logic: An Introduction to Elementary Logic}, } @MANUAL{saso-forest-manual, AUTHOR = {Živanović, Sašo}, + URL = {http://spj.ff.uni-lj.si/zivanovic/}, DATE = {2016-03-04}, EDITION = {2.0.2}, - KEYWORDS = {TeX, LaTeX, PGF, TikZ, Forest}, + KEYWORDS = {TeX,LaTeX,PGF,TikZ,Forest}, TITLE = {Forest: A {PGF}/Ti\mkbibemph{k}{Z}-Based Package for Drawing Linguistic Trees}, - URL = {http://spj.ff.uni-lj.si/zivanovic/}, } @MANUAL{tantau-tikz-pgf-manual, AUTHOR = {Tantau, Till}, + URL = {http://sourceforge.net/projects/pgf}, DATE = {2015-08-29}, EDITION = {3.0.1a}, - KEYWORDS = {TeX, LaTeX, PGF, TikZ}, + KEYWORDS = {TeX,LaTeX,PGF,TikZ}, SUBTITLE = {Manual for Version 3.0.1a}, TITLE = {The {T}i\mkbibemph{k}{Z} and {PGF} Packages}, - URL = {http://sourceforge.net/projects/pgf}, } diff --git a/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty b/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty index f4bfe810a73..4f6e7cb8d27 100644 --- a/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty +++ b/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty @@ -16,10 +16,10 @@ %% \NeedsTeXFormat{LaTeX2e} \RequirePackage{svn-prov} -\ProvidesPackageSVN{$Id: prooftrees.sty 4891 2016-05-08 01:08:29Z cfrees $}[v0.4 pgfmath branch \revinfo] +\ProvidesPackageSVN{$Id: prooftrees.sty 5566 2016-12-05 03:40:05Z cfrees $}[v0.41 pgfmath branch \revinfo] \DeclareOption*{\PassOptionsToPackage{\CurrentOption}{forest}} \ProcessOptions -\RequirePackage{forest}[2016/03/04] +\RequirePackage{forest}[2016/12/04] \RequirePackage{amssymb} \newcommand*\linenumberstyle[1]{#1.} % currently, keys starting 'proof tree' and macros starting 'prooftree' or 'prooftree@' are intended for internal use only @@ -430,7 +430,7 @@ }{no edge}, }{no edge}, }, - proof tree aros'+=2, + proof tree aros'+=4, }{}, }, }, -- cgit v1.2.3