autoupdate

git-svn-id: svn://tug.org/texlive/trunk@40081 c570f23f-e606-0410-a88d-b1316a301751

1 files changed, 85 insertions, 24 deletions

diff --git a/Master/tlpkg/texlive.tlpdb b/Master/tlpkg/texlive.tlpdb
index 645a10c63a2..5ce4519d741 100644
--- a/Master/tlpkg/texlive.tlpdb
+++ b/Master/tlpkg/texlive.tlpdb
@@ -24,11 +24,11 @@ depend container_split_doc_files/1
 depend container_split_src_files/1
 depend minrelease/2013
 depend release/2015
-depend revision/40070
+depend revision/40080
 
 name 00texlive.image
 category TLCore
-revision 40064
+revision 40079
 shortdesc TeX Live files only in the source repository
 longdesc The files here are not copied by the installer and containers
 longdesc are not built for them; they exist only in the source
@@ -1706,6 +1706,7 @@ runfiles size=2705
  tlpkg/tlpsrc/keyreader.tlpsrc
  tlpkg/tlpsrc/keystroke.tlpsrc
  tlpkg/tlpsrc/keyval2e.tlpsrc
+ tlpkg/tlpsrc/keyvaltable.tlpsrc
  tlpkg/tlpsrc/kix.tlpsrc
  tlpkg/tlpsrc/kixfont.tlpsrc
  tlpkg/tlpsrc/kluwer.tlpsrc
@@ -2374,6 +2375,7 @@ runfiles size=2705
  tlpkg/tlpsrc/progress.tlpsrc
  tlpkg/tlpsrc/progressbar.tlpsrc
  tlpkg/tlpsrc/proofread.tlpsrc
+ tlpkg/tlpsrc/prooftrees.tlpsrc
  tlpkg/tlpsrc/properties.tlpsrc
  tlpkg/tlpsrc/proposal.tlpsrc
  tlpkg/tlpsrc/prosper.tlpsrc
@@ -19299,25 +19301,25 @@ runfiles size=2
 
 name babel-french
 category Package
-revision 39711
+revision 40078
 shortdesc Babel contributed support for French
 longdesc The package establishes French conventions in a document (or a
 longdesc subset of the conventions, if French is not the main language
 longdesc of the document).
-docfiles size=67
+docfiles size=68
  texmf-dist/doc/generic/babel-french/README details="Readme"
  texmf-dist/doc/generic/babel-french/frenchb.pdf details="Package documentation"
-srcfiles size=49
+srcfiles size=50
  texmf-dist/source/generic/babel-french/frenchb.dtx
  texmf-dist/source/generic/babel-french/frenchb.ins
 runfiles size=17
  texmf-dist/tex/generic/babel-french/frenchb.ldf
  texmf-dist/tex/generic/babel-french/frenchb.lua
 catalogue-ctan /macros/latex/contrib/babel-contrib/french
-catalogue-date 2016-02-13 19:13:46 +0100
+catalogue-date 2016-03-19 18:47:45 +0100
 catalogue-license lppl1.3
 catalogue-topics french multilingual-addon
-catalogue-version 3.1l
+catalogue-version 3.2a
 
 name babel-friulan
 category Package
@@ -45336,7 +45338,7 @@ depend url
 
 name collection-latexextra
 category Collection
-revision 40035
+revision 40079
 shortdesc LaTeX additional packages
 longdesc A very large collection of add-on packages for LaTeX.
 depend collection-latexrecommended
@@ -45864,6 +45866,7 @@ depend keycommand
 depend keyreader
 depend keystroke
 depend keyval2e
+depend keyvaltable
 depend kix
 depend koma-moderncvclassic
 depend koma-script-sfs
@@ -46523,7 +46526,7 @@ depend ucharcat
 
 name collection-mathextra
 category Collection
-revision 39864
+revision 40076
 shortdesc Mathematics packages
 depend collection-fontsrecommended
 depend collection-latex
@@ -46568,6 +46571,7 @@ depend ot-tableau
 depend oubraces
 depend perfectcut
 depend prftree
+depend prooftrees
 depend proba
 depend rec-thy
 depend ribbonproofs
@@ -106796,6 +106800,31 @@ catalogue-license lppl1.3
 catalogue-topics keyval
 catalogue-version 0.0.2
 
+name keyvaltable
+category Package
+revision 40079
+shortdesc Re-usable tables separating content and presentation
+longdesc The main goal of the keyvaltable package is to offer means for
+longdesc typesetting tables easily and yet still looking rather nicely
+longdesc in a way that separates content from presentation and with re-
+longdesc usable layout for tables of the same type. For this purpose,
+longdesc the package provides the environment KeyValTable, which allows
+longdesc one to typeset tables that have a previously defined column
+longdesc layout and whose rows can be produced in a key-value fashion.
+docfiles size=76
+ texmf-dist/doc/latex/keyvaltable/README.md details="Readme"
+ texmf-dist/doc/latex/keyvaltable/keyvaltable.pdf details="Package documentation"
+srcfiles size=9
+ texmf-dist/source/latex/keyvaltable/keyvaltable.dtx
+ texmf-dist/source/latex/keyvaltable/keyvaltable.ins
+runfiles size=2
+ texmf-dist/tex/latex/keyvaltable/keyvaltable.sty
+catalogue-ctan /macros/latex/contrib/keyvaltable
+catalogue-date 2016-03-18 23:21:25 +0100
+catalogue-license lppl1.2
+catalogue-topics table
+catalogue-version 0.1
+
 name kix
 category Package
 revision 21606
@@ -130501,12 +130530,12 @@ catalogue-topics covers
 
 name mcf2graph
 category Package
-revision 39945
+revision 40075
 shortdesc Draw chemical structure diagrams with Metafont/MetaPost
 longdesc The Molecular Coding Format (MCF) is a linear notation for
 longdesc describing chemical structure diagrams. This package converts
 longdesc MCF to graphic files using Metafont / MetaPost.
-docfiles size=221
+docfiles size=222
  texmf-dist/doc/metapost/mcf2graph/CHANGELOG
  texmf-dist/doc/metapost/mcf2graph/README details="Readme"
  texmf-dist/doc/metapost/mcf2graph/mcf_exa_soc.mf
@@ -130521,10 +130550,10 @@ docfiles size=221
 runfiles size=13
  texmf-dist/metapost/mcf2graph/mcf2graph.mf
 catalogue-ctan /graphics/mcf2graph
-catalogue-date 2016-03-05 05:49:13 +0100
+catalogue-date 2016-03-19 18:17:25 +0100
 catalogue-license bsd
 catalogue-topics graphics graphics-mpost chemistry
-catalogue-version 3.83
+catalogue-version 3.84
 
 name mcite
 category Package
@@ -138926,7 +138955,7 @@ catalogue-version 0.7
 
 name nameauth
 category Package
-revision 39310
+revision 40080
 shortdesc Name authority mechanism for consistency in body text and index
 longdesc Publications, that reference many names, require editors and
 longdesc proofreaders to track those names in the text and index. The
@@ -138934,16 +138963,16 @@ longdesc package offers name authority macros that allow authors and
 longdesc compilers to normalize occurrences of names, variant name
 longdesc forms, and pen names in the text and index. This may help
 longdesc minimize writing and production time and cost.
-docfiles size=185
+docfiles size=200
  texmf-dist/doc/latex/nameauth/Makefile
  texmf-dist/doc/latex/nameauth/README details="Readme"
  texmf-dist/doc/latex/nameauth/README.txt
  texmf-dist/doc/latex/nameauth/nameauth.hd
  texmf-dist/doc/latex/nameauth/nameauth.pdf details="Package documentation"
-srcfiles size=53
+srcfiles size=64
  texmf-dist/source/latex/nameauth/nameauth.dtx
  texmf-dist/source/latex/nameauth/nameauth.ins
-runfiles size=10
+runfiles size=11
  texmf-dist/tex/latex/nameauth/nameauth.sty
 catalogue-ctan /macros/latex/contrib/nameauth
 catalogue-date 2016-03-19 00:51:43 +0100
@@ -158955,6 +158984,38 @@ catalogue-license lppl1.3
 catalogue-topics editorial
 catalogue-version 1.01
 
+name prooftrees
+category Package
+revision 40076
+shortdesc Forest-based proof trees (symbolic logic)
+longdesc The package supports drawing proof trees of the kind often used
+longdesc in introductory logic classes, especially those aimed at
+longdesc students without strong mathemtical backgrounds. Hodges (1991)
+longdesc is one example of a text which uses this system. When teaching
+longdesc such a system it is especially useful to annotate the tree with
+longdesc line numbers, justifications and explanations of branch
+longdesc closures. prooftrees provides a single environment, prooftree,
+longdesc and a variety of tools for annotating, customising and
+longdesc highlighting such trees. A cross-referencing system is provided
+longdesc for trees which cite line numbers in justifications for proof
+longdesc lines or branch closures. prooftrees is based on forest and,
+longdesc hence, TikZ. The package requires version 2.0.2 of Forest for
+longdesc expected results and will not work with version 1.
+docfiles size=233
+ texmf-dist/doc/latex/prooftrees/README details="Readme"
+ texmf-dist/doc/latex/prooftrees/manifest.txt
+ texmf-dist/doc/latex/prooftrees/prooftrees.pdf details="Package documentation"
+ texmf-dist/doc/latex/prooftrees/prooftrees.tex
+ texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib
+runfiles size=9
+ texmf-dist/tex/latex/prooftrees/prooftrees.sty
+catalogue-also forest
+catalogue-ctan /graphics/pgf/contrib/prooftrees
+catalogue-date 2016-03-19 09:22:30 +0100
+catalogue-license lppl1.3
+catalogue-topics tree pgf-tikz logic
+catalogue-version 0.3
+
 name properties
 category Package
 revision 15878
@@ -196151,7 +196212,7 @@ docfiles size=402
 
 name texlive-docindex
 category TLCore
-revision 40039
+revision 40072
 shortdesc top-level TeX Live doc.html, etc.
 longdesc These files are regenerated as needed, which is often, so we
 longdesc make them a separate package.  See the tl-update-auto script
@@ -221051,7 +221112,7 @@ binfiles arch=x86_64-linux size=856
 
 name xint
 category Package
-revision 40014
+revision 40077
 shortdesc Expandable operations on long numbers
 longdesc The bundle provides nine packages: xintcore, which provides
 longdesc expandable TeX macros that implement the basic arithmetic
@@ -221073,7 +221134,7 @@ longdesc typesetting; xintcfrac, which deals with the computation of
 longdesc continued fractions. All of the packages' computations are done
 longdesc in a way that they can operate in an expanding environment. The
 longdesc packages may be used either with Plain TeX or LaTeX.
-docfiles size=375
+docfiles size=383
  texmf-dist/doc/generic/xint/CHANGES.html details="Changes (HTML)"
  texmf-dist/doc/generic/xint/CHANGES.pdf details="Changes (PDF)"
  texmf-dist/doc/generic/xint/README details="Readme"
@@ -221081,11 +221142,11 @@ docfiles size=375
  texmf-dist/doc/generic/xint/README.pdf details="Readme (PDF)"
  texmf-dist/doc/generic/xint/sourcexint.pdf details="Documented source code"
  texmf-dist/doc/generic/xint/xint.pdf details="Package documentation"
-srcfiles size=314
+srcfiles size=319
  texmf-dist/source/generic/xint/Makefile
  texmf-dist/source/generic/xint/xint.dtx
  texmf-dist/source/generic/xint/xint.ins
-runfiles size=118
+runfiles size=122
  texmf-dist/tex/generic/xint/xint.sty
  texmf-dist/tex/generic/xint/xintbinhex.sty
  texmf-dist/tex/generic/xint/xintcfrac.sty
@@ -221097,10 +221158,10 @@ runfiles size=118
  texmf-dist/tex/generic/xint/xintseries.sty
  texmf-dist/tex/generic/xint/xinttools.sty
 catalogue-ctan /macros/generic/xint
-catalogue-date 2016-03-12 23:49:35 +0100
+catalogue-date 2016-03-19 18:54:12 +0100
 catalogue-license lppl1.3
 catalogue-topics arithmetic calculation
-catalogue-version 1.2f
+catalogue-version 1.2g
 
 name xits
 category Package