From c2ffe27df1f02739921c26139f1973129fbd9130 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 16 May 2016 20:32:08 +0000 Subject: prooftrees (16may16) git-svn-id: svn://tug.org/texlive/trunk@41196 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/prooftrees/README | 4 +-- .../texmf-dist/doc/latex/prooftrees/prooftrees.pdf | Bin 848968 -> 850665 bytes .../texmf-dist/doc/latex/prooftrees/prooftrees.tex | 27 ++++++++++++++++++++- .../texmf-dist/tex/latex/prooftrees/prooftrees.sty | 22 ++++++++++------- 4 files changed, 41 insertions(+), 12 deletions(-) (limited to 'Master') diff --git a/Master/texmf-dist/doc/latex/prooftrees/README b/Master/texmf-dist/doc/latex/prooftrees/README index bfa5b21d695..1d9fec482c3 100644 --- a/Master/texmf-dist/doc/latex/prooftrees/README +++ b/Master/texmf-dist/doc/latex/prooftrees/README @@ -27,13 +27,13 @@ system is provided for trees which cite line numbers in justifications for proof lines or branch closures. prooftrees is based on Forest and, hence, TikZ. The package requires version -2.0.2 of Forest for expected results and will not work with version 1. +2.0.3 of Forest for expected results and will not work with version 1. The author is certain that some of her beliefs are false, but sure that her belief that prooftrees has bugs is not among them. Clea F. Rees ReesC21 cardiff ac uk -2016/03/19 +2016/05/15 vim: set nospell: diff --git a/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf b/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf index 9794400804a..591d6aa1281 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 ca5a622a9fe..5e96f58a587 100644 --- a/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex +++ b/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex @@ -19,7 +19,7 @@ %% \pdfminorversion=7 \RequirePackage{svn-prov} -\ProvidesFileSVN{$Id: prooftrees.tex 4688 2016-03-19 02:35:06Z cfrees $}[v0.3 \revinfo] +\ProvidesFileSVN{$Id: prooftrees.tex 4931 2016-05-15 22:57:52Z cfrees $}[v0.4 pgfmath branch \revinfo] \GetFileInfoSVN* \let\prooftreesdocversion\fileversion \let\prooftreesdocbase\filebase @@ -1858,7 +1858,32 @@ For example, if for some reason you would like bold line numbers, try % END sec:macros +\section{Version History}\label{sec:hanes} +% BEGIN sec:hanes + +\subsection*{0.4}\label{subsec:v0.4} +% BEGIN subsec:v0.4 + +Bug fix release: +\begin{itemize} + \item \keyname[fregcount]{line no shift} was broken; + \item in some cases, an edge was drawn where no edge belonged. +\end{itemize} + +% END subsec:v0.4 + +\subsection*{0.3}\label{subsec:v0.3} +% BEGIN subsec:v0.3 + +First CTAN release. + +% END subsec:v0.3 + +% END sec:hanes + \printbibliography +\clearpage + \loadgeometry{safonol}% \fancyheadoffset[lh]{0pt}% \printindex diff --git a/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty b/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty index 5fbad137a5b..f4bfe810a73 100644 --- a/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty +++ b/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty @@ -16,7 +16,7 @@ %% \NeedsTeXFormat{LaTeX2e} \RequirePackage{svn-prov} -\ProvidesPackageSVN{$Id: prooftrees.sty 4688 2016-03-19 02:35:06Z cfrees $}[v0.3 \revinfo] +\ProvidesPackageSVN{$Id: prooftrees.sty 4891 2016-05-08 01:08:29Z cfrees $}[v0.4 pgfmath branch \revinfo] \DeclareOption*{\PassOptionsToPackage{\CurrentOption}{forest}} \ProcessOptions \RequirePackage{forest}[2016/03/04] @@ -204,12 +204,15 @@ process keylist register=line no format, delay={% proof tree lcount'+=1, - content/.expanded/.wrap pgfmath arg={\linenumberstyle{##1}}{int(proof_tree_lcount+line_no_shift)},% content i.e. the line number - name/.expanded={line no \foresteregister{proof tree lcount}},% name them so they can be moved later + tempcounta=int((proof_tree_lcount)+(line_no_shift)), + content/.wrap pgfmath arg={\linenumberstyle{##1}}{tempcounta},% content i.e. the line number + name/.expanded={line no \foresteregister{tempcounta}},% name them so they can be moved later +% content/.expanded/.wrap pgfmath arg={\linenumberstyle{##1}}{int(proof_tree_lcount+line_no_shift)},% content i.e. the line number +% name/.expanded={line no \foresteregister{proof tree lcount}},% name them so they can be moved later typeset node, if={proof_tree_lcount>2}{% the initial location of most line numbers is incorrect and they must be moved for previous={% move the line number below the previous line number - append/.expanded={line no \foresteregister{proof tree lcount}} + append/.expanded={line no \foresteregister{tempcounta}} }, }{}, }, @@ -222,11 +225,12 @@ process keylist register=just format, delay={% proof tree jcount'+=1, - name/.expanded={just \foresteregister{proof tree jcount}},% name them so they can be moved + tempcounta=int((proof_tree_jcount)+(line_no_shift)), + name/.expanded={just \foresteregister{tempcounta}},% name them so they can be moved typeset node,% angen i osgoi broblemau 'da highlight just/line etc. if={proof_tree_jcount>2}{% correct the location as for the line numbers (cf. line no style) for previous={% - append/.expanded={just \foresteregister{proof tree jcount}} + append/.expanded={just \foresteregister{tempcounta}} }, }{}, }, @@ -315,7 +319,7 @@ [, proof tree line no, % () to group are required here - otherwise, the -1 (or -2 or whatever) is silently ignored - repeat={(proof_tree_rhif_lefelau)-1}{% most are created in the wrong place but proof tree line no moves them later + repeat={((proof_tree_rhif_lefelau)-1)-(line_no_shift)}{% most are created in the wrong place but proof tree line no moves them later delay n={proof_tree_lcount}{ append={[, proof tree line no]} }, @@ -329,7 +333,7 @@ append={% [, proof tree line justification, - repeat={(proof_tree_rhif_lefelau)-1}{% most are created in the wrong place but proof tree line justification moves them later + repeat={((proof_tree_rhif_lefelau)-1)-(line_no_shift)}{% most are created in the wrong place but proof tree line justification moves them later delay n={proof_tree_jcount}{ append={[, proof tree line justification]} }, @@ -423,7 +427,7 @@ tempcounta-/.option=level, tempcounta'+=1, move by/.register=tempcounta, - }{}, + }{no edge}, }{no edge}, }, proof tree aros'+=2, -- cgit v1.2.3