summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex')
-rw-r--r--Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex16
1 files changed, 12 insertions, 4 deletions
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