summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/prooftrees
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2016-12-06 22:58:45 +0000
committerKarl Berry <karl@freefriends.org>2016-12-06 22:58:45 +0000
commite294b18fcfea964c454158d0e2067141f5178244 (patch)
tree1453e5140ecbf48c5116051ba570d1e644fd480a /Master/texmf-dist/doc/latex/prooftrees
parent33409d331a3e1f9eb622961494046256813e4392 (diff)
prooftrees (6dec16)
git-svn-id: svn://tug.org/texlive/trunk@42648 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/prooftrees')
-rw-r--r--Master/texmf-dist/doc/latex/prooftrees/README2
-rw-r--r--Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdfbin851227 -> 851947 bytes
-rw-r--r--Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex16
-rw-r--r--Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib12
4 files changed, 19 insertions, 11 deletions
diff --git a/Master/texmf-dist/doc/latex/prooftrees/README b/Master/texmf-dist/doc/latex/prooftrees/README
index 247417a6397..5a97bc718a6 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 <at> cardiff <dot> ac <dot> uk
-2016/12/05
+2016/12/06
vim: set nospell:
diff --git a/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf b/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf
index 521a8d7266f..ece5b9feafb 100644
--- a/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf
+++ b/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex b/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex
index 9c481798d77..e44e68c10d8 100644
--- a/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex
+++ b/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex
@@ -20,7 +20,7 @@
%%
\pdfminorversion=7
\RequirePackage{svn-prov}
-\ProvidesFileSVN{$Id: prooftrees.tex 5567 2016-12-05 03:44:11Z cfrees $}[v0.41 pgfmath branch \revinfo]
+\ProvidesFileSVN{$Id: prooftrees.tex 5576 2016-12-06 03:28:22Z cfrees $}[v0.5 \revinfo]
\GetFileInfoSVN*
\let\prooftreesdocversion\fileversion
\let\prooftreesdocbase\filebase
@@ -434,7 +434,7 @@
\end{figure}
\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.}
+ It will not work 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.
@@ -455,7 +455,7 @@ Suppose that we wish to typeset a typical proof tree demonstrating the following
\]
We start by typesetting the tree using \pkg{forest}'s default settings (\cref{fordefaults}) and find our solution has several advantages: the proof is specified concisely and the code reflects the structure of the tree.
-\begin{codcoeden}[label=fordefaults,floatplacement=tbp]{\pkg{forest}: default settings}
+\begin{codcoeden}[label=fordefaults,floatplacement=bp!]{\pkg{forest}: default settings}
\begin{forest}
[$P \vee (Q \vee \lnot R)$
[$P \lif \lnot R$
@@ -522,7 +522,7 @@ A sample of supported proof tree styles are shown in \cref{sample}.
The package is \emph{\bfseries not} intended for the typesetting of proof trees which differ significantly in structure.
\clearpage
\thispagestyle{plain}%
-\begin{coeden}[label=sample, grow to left by=3em, grow to right by=3em]{\pkg{prooftrees}: sample output}
+\begin{coeden}[label=sample, floatplacement={!bp}, grow to left by=3em, grow to right by=3em]{\pkg{prooftrees}: sample output}
\centering
\begin{prooftree}
{
@@ -1862,6 +1862,14 @@ For example, if for some reason you would like bold line numbers, try
\section{Version History}\label{sec:hanes}
% BEGIN sec:hanes
+\subsection*{0.5}\label{subsec:v0.5}
+% BEGIN subsec:v0.5
+
+Significant re-implementation leveraging the new argument processing facilities in \pkg{forest} 2.1.
+This significantly improves performance as the code is executed much faster than the previous \pkg{pgfmath} implementation.
+
+% END subsec:v0.5
+
\subsection*{0.41}\label{subsec:v0.41}
% BEGIN subsec:v0.41
diff --git a/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib b/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib
index d292955f8c1..c2c6dba09b1 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},
- PUBLISHER = {Penguin},
- YEAR = {1977, 1991},
ISBN = {0140136363},
+ PUBLISHER = {Penguin},
TITLE = {Logic: An Introduction to Elementary Logic},
+ YEAR = {1977, 1991},
}
@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},
}