summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf-dist/doc/latex/prooftrees/README2
-rw-r--r--Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdfbin850665 -> 851227 bytes
-rw-r--r--Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex14
-rw-r--r--Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib12
-rw-r--r--Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty6
5 files changed, 21 insertions, 13 deletions
diff --git a/Master/texmf-dist/doc/latex/prooftrees/README b/Master/texmf-dist/doc/latex/prooftrees/README
index 1d9fec482c3..247417a6397 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/05/15
+2016/12/05
vim: set nospell:
diff --git a/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf b/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf
index 591d6aa1281..521a8d7266f 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 5e96f58a587..9c481798d77 100644
--- a/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex
+++ b/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex
@@ -16,10 +16,11 @@
%%
% arara: pdflatex: { synctex: true, shell: false }
% biber --output_format=bibtex --output_resolve prooftrees.bcf to generate .bib for upload
+% sed -i '/1977/s/DATE/YEAR
%%
\pdfminorversion=7
\RequirePackage{svn-prov}
-\ProvidesFileSVN{$Id: prooftrees.tex 4931 2016-05-15 22:57:52Z cfrees $}[v0.4 pgfmath branch \revinfo]
+\ProvidesFileSVN{$Id: prooftrees.tex 5567 2016-12-05 03:44:11Z cfrees $}[v0.41 pgfmath branch \revinfo]
\GetFileInfoSVN*
\let\prooftreesdocversion\fileversion
\let\prooftreesdocbase\filebase
@@ -432,8 +433,8 @@
\end{adjustwidth}
\end{figure}
-\emph{\bfseries Note that this package requires version 2.0.2 (2016/03/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.0.2.}
+\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.}
\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.
@@ -1861,6 +1862,13 @@ For example, if for some reason you would like bold line numbers, try
\section{Version History}\label{sec:hanes}
% BEGIN sec:hanes
+\subsection*{0.41}\label{subsec:v0.41}
+% BEGIN subsec:v0.41
+
+Update for compatibility with \pkg{forest} 2.1.
+
+% END subsec:v0.41
+
\subsection*{0.4}\label{subsec:v0.4}
% BEGIN subsec:v0.4
diff --git a/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib b/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib
index c2c6dba09b1..d292955f8c1 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},
- ISBN = {0140136363},
PUBLISHER = {Penguin},
- TITLE = {Logic: An Introduction to Elementary Logic},
YEAR = {1977, 1991},
+ ISBN = {0140136363},
+ TITLE = {Logic: An Introduction to Elementary Logic},
}
@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},
}
diff --git a/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty b/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty
index f4bfe810a73..4f6e7cb8d27 100644
--- a/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty
+++ b/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty
@@ -16,10 +16,10 @@
%%
\NeedsTeXFormat{LaTeX2e}
\RequirePackage{svn-prov}
-\ProvidesPackageSVN{$Id: prooftrees.sty 4891 2016-05-08 01:08:29Z cfrees $}[v0.4 pgfmath branch \revinfo]
+\ProvidesPackageSVN{$Id: prooftrees.sty 5566 2016-12-05 03:40:05Z cfrees $}[v0.41 pgfmath branch \revinfo]
\DeclareOption*{\PassOptionsToPackage{\CurrentOption}{forest}}
\ProcessOptions
-\RequirePackage{forest}[2016/03/04]
+\RequirePackage{forest}[2016/12/04]
\RequirePackage{amssymb}
\newcommand*\linenumberstyle[1]{#1.}
% currently, keys starting 'proof tree' and macros starting 'prooftree' or 'prooftree@' are intended for internal use only
@@ -430,7 +430,7 @@
}{no edge},
}{no edge},
},
- proof tree aros'+=2,
+ proof tree aros'+=4,
}{},
},
},