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 | |
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')
-rw-r--r-- | Master/texmf-dist/doc/latex/prooftrees/README | 2 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf | bin | 851227 -> 851947 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex | 16 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib | 12 |
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 Binary files differindex 521a8d7266f..ece5b9feafb 100644 --- a/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf +++ b/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf 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}, } |