autoupdate

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

2 files changed, 51 insertions, 25 deletions

diff --git a/Master/texmf-dist/ls-R b/Master/texmf-dist/ls-R
index 7ed341aacde..2dbad466d54 100644
--- a/Master/texmf-dist/ls-R
+++ b/Master/texmf-dist/ls-R
@@ -9964,6 +9964,7 @@ presentations-en
 pressrelease
 prettyref
 preview
+prftree
 printlen
 proba
 probsoln
@@ -25382,11 +25383,10 @@ README
 
 ./doc/latex/noindentafter:
 README
-dry.sty
+noindentafter-dry.sty
+noindentafter-packagedoc.cls
 noindentafter.pdf
 noindentafter.tex
-packagedoc.cls
-with.sty
 
 ./doc/latex/noitcrul:
 README
@@ -27504,6 +27504,11 @@ prettyref.pdf
 README
 preview.pdf
 
+./doc/latex/prftree:
+README
+prftreedoc.pdf
+prftreedoc.tex
+
 ./doc/latex/printlen:
 printlen-doc.pdf
 printlen-doc.tex
@@ -136032,6 +136037,7 @@ prerex
 pressrelease
 prettyref
 preview
+prftree
 printlen
 proba
 probsoln
@@ -147064,6 +147070,9 @@ prshowlabels.def
 prtightpage.def
 prtracingall.def
 
+./tex/latex/prftree:
+prftree.sty
+
 ./tex/latex/printlen:
 printlen.sty
 
diff --git a/Master/tlpkg/texlive.tlpdb b/Master/tlpkg/texlive.tlpdb
index d2858e2be38..e893fe3270b 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/2014
 depend release/2014
-depend revision/35703
+depend revision/35713
 
 name 00texlive.image
 category TLCore
-revision 35702
+revision 35712
 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
@@ -2165,6 +2165,7 @@ runfiles size=2639
  tlpkg/tlpsrc/pressrelease.tlpsrc
  tlpkg/tlpsrc/prettyref.tlpsrc
  tlpkg/tlpsrc/preview.tlpsrc
+ tlpkg/tlpsrc/prftree.tlpsrc
  tlpkg/tlpsrc/printlen.tlpsrc
  tlpkg/tlpsrc/proba.tlpsrc
  tlpkg/tlpsrc/probsoln.tlpsrc
@@ -44049,7 +44050,7 @@ depend spelling
 
 name collection-mathextra
 category Collection
-revision 35502
+revision 35712
 shortdesc Mathematics packages
 depend collection-fontsrecommended
 depend collection-latex
@@ -44086,6 +44087,7 @@ depend nath
 depend ot-tableau
 depend oubraces
 depend perfectcut
+depend prftree
 depend proba
 depend rec-thy
 depend ribbonproofs
@@ -68872,9 +68874,9 @@ runfiles size=2402
  texmf-dist/tex/latex/erewhon/erewhon.fontspec
  texmf-dist/tex/latex/erewhon/erewhon.sty
 catalogue-ctan /fonts/erewhon
-catalogue-date 2014-10-02 14:59:40 +0200
+catalogue-date 2014-12-01 05:59:34 +0100
 catalogue-license ofl
-catalogue-version 1.001
+catalogue-version 1.01
 
 name errata
 category Package
@@ -132924,18 +132926,17 @@ catalogue-version 1.0
 
 name noindentafter
 category Package
-revision 31341
+revision 35709
 shortdesc Tool to prevent paragraph indentation after environments/macros.
 longdesc The package, as the name suggests, supplies tools to
 longdesc automatically suppress indentations in following paragraphs,
 longdesc specifically those following a particular macro or environment.
-docfiles size=63
+docfiles size=62
  texmf-dist/doc/latex/noindentafter/README details="Readme"
- texmf-dist/doc/latex/noindentafter/dry.sty
+ texmf-dist/doc/latex/noindentafter/noindentafter-dry.sty
+ texmf-dist/doc/latex/noindentafter/noindentafter-packagedoc.cls
  texmf-dist/doc/latex/noindentafter/noindentafter.pdf details="Package documentation"
  texmf-dist/doc/latex/noindentafter/noindentafter.tex
- texmf-dist/doc/latex/noindentafter/packagedoc.cls
- texmf-dist/doc/latex/noindentafter/with.sty
 runfiles size=2
  texmf-dist/tex/latex/noindentafter/noindentafter.sty
 catalogue-ctan /macros/latex/contrib/noindentafter
@@ -143663,7 +143664,7 @@ binfiles arch=x86_64-solaris size=1
 
 name pkgloader
 category Package
-revision 35445
+revision 35711
 shortdesc Managing the options and loading order of other packages.
 longdesc The package seeks to address the frustration caused by package
 longdesc conflicts. It is in an early stage of its development, and
@@ -143688,9 +143689,9 @@ runfiles size=18
  texmf-dist/tex/latex/pkgloader/pkgloader-true.sty
  texmf-dist/tex/latex/pkgloader/pkgloader.sty
 catalogue-ctan /macros/latex/contrib/pkgloader
-catalogue-date 2014-10-26 15:04:39 +0100
+catalogue-date 2014-12-01 05:27:12 +0100
 catalogue-license lppl1.3
-catalogue-version 0.4.1
+catalogue-version 0.5.0
 
 name pkuthss
 category Package
@@ -147487,6 +147488,22 @@ catalogue-date 2014-10-31 05:31:13 +0100
 catalogue-license gpl3
 catalogue-version 11.88
 
+name prftree
+category Package
+revision 35712
+shortdesc Macros for building proof trees.
+longdesc A package to typeset proof trees for natural deduction calculi,
+longdesc sequent-like calculi, and similar.
+docfiles size=83
+ texmf-dist/doc/latex/prftree/README details="Readme"
+ texmf-dist/doc/latex/prftree/prftreedoc.pdf details="Package documentation"
+ texmf-dist/doc/latex/prftree/prftreedoc.tex
+runfiles size=11
+ texmf-dist/tex/latex/prftree/prftree.sty
+catalogue-ctan /macros/latex/contrib/prftree
+catalogue-date 2014-12-01 09:25:54 +0100
+catalogue-license gpl
+
 name printlen
 category Package
 revision 19847
@@ -151729,7 +151746,7 @@ catalogue-version 2.60
 
 name pstricks-add
 category Package
-revision 34702
+revision 35710
 shortdesc A collection of add-ons and bugfixes for PSTricks.
 longdesc Collects together examples that have been posted to the
 longdesc pstricks mailing list, together with many additional features
@@ -151740,7 +151757,7 @@ longdesc (e.g., logarithm axes); polar plots; plotting tangent lines of
 longdesc curves or functions; solving and printing differential
 longdesc equations; box plots; matrix plots; and pie charts. The package
 longdesc makes use of PostScript routines provided by pst-math.
-docfiles size=2025
+docfiles size=2009
  texmf-dist/doc/generic/pstricks-add/Changes
  texmf-dist/doc/generic/pstricks-add/README details="Readme"
  texmf-dist/doc/generic/pstricks-add/pstricks-add-doc.bib
@@ -173013,7 +173030,7 @@ catalogue-version 2.40
 
 name tcolorbox
 category Package
-revision 35686
+revision 35713
 shortdesc Coloured boxes, for LaTeX examples and theorems, etc.
 longdesc The package provides an environment for coloured and framed
 longdesc text boxes with a heading line. Optionally, such a box may be
@@ -173023,7 +173040,7 @@ longdesc box displays the source code and the other part shows the
 longdesc output. Another common use case is the setting of theorems. The
 longdesc package supports saving and reuse of source code and text
 longdesc parts.
-docfiles size=1546
+docfiles size=1548
  texmf-dist/doc/latex/tcolorbox/Basilica_5.png
  texmf-dist/doc/latex/tcolorbox/CHANGES
  texmf-dist/doc/latex/tcolorbox/README details="Readme"
@@ -173076,9 +173093,9 @@ runfiles size=112
  texmf-dist/tex/latex/tcolorbox/tcbxparse.code.tex
  texmf-dist/tex/latex/tcolorbox/tcolorbox.sty
 catalogue-ctan /macros/latex/contrib/tcolorbox
-catalogue-date 2014-11-28 17:09:37 +0100
+catalogue-date 2014-12-01 17:40:55 +0100
 catalogue-license lppl1.3
-catalogue-version 3.31
+catalogue-version 3.32
 
 name tdclock
 category Package
@@ -181465,7 +181482,7 @@ docfiles size=321
 
 name texlive-docindex
 category TLCore
-revision 35688
+revision 35705
 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
@@ -181550,13 +181567,13 @@ docfiles size=373
 
 name texlive-msg-translations
 category TLCore
-revision 34548
+revision 35706
 shortdesc translations of the TeX Live installer and TeX Live Manager
 longdesc This package contains the translated messages of the TeX Live
 longdesc installer and TeX Live Manager.  For information on creating or
 longdesc updating translations, see
 longdesc http://tug.org/texlive/doc.html#install-tl-xlate.
-runfiles size=288
+runfiles size=290
  tlpkg/translations/cs.po
  tlpkg/translations/de.po
  tlpkg/translations/es.po