diff options
author | Karl Berry <karl@freefriends.org> | 2016-12-06 22:58:45 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-12-06 22:58:45 +0000 |
commit | e294b18fcfea964c454158d0e2067141f5178244 (patch) | |
tree | 1453e5140ecbf48c5116051ba570d1e644fd480a /Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex | |
parent | 33409d331a3e1f9eb622961494046256813e4392 (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/prooftrees.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex | 16 |
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 |