autoupdate

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

2 files changed, 86 insertions, 14 deletions

diff --git a/Master/texmf-dist/ls-R b/Master/texmf-dist/ls-R
index 02fc5944152..73befdec154 100644
--- a/Master/texmf-dist/ls-R
+++ b/Master/texmf-dist/ls-R
@@ -9232,6 +9232,7 @@ easylist
 ebezier
 ebong
 ebook
+ebproof
 ebsthesis
 ecclesiastic
 ecltree
@@ -15768,6 +15769,11 @@ eb_tex.tex
 ./doc/latex/ebook:
 README
 
+./doc/latex/ebproof:
+README
+ebproof.pdf
+ebproof.tex
+
 ./doc/latex/ebsthesis:
 README
 ebsthesis.pdf
@@ -135664,6 +135670,7 @@ ebezier
 ebgaramond
 ebgaramond-maths
 ebook
+ebproof
 ebsthesis
 ecclesiastic
 ecltree
@@ -141437,6 +141444,9 @@ ebgaramond-maths.sty
 ./tex/latex/ebook:
 ebook.sty
 
+./tex/latex/ebproof:
+ebproof.sty
+
 ./tex/latex/ebsthesis:
 ebsthesis.cls
 
@@ -146399,7 +146409,12 @@ newspaper.sty
 
 ./tex/latex/newtx:
 ly1minlibertine.fd
+ly1ntxlf.fd
+ly1ntxosf.fd
 ly1ntxss.fd
+ly1ntxsups.fd
+ly1ntxtlf.fd
+ly1ntxtosf.fd
 ly1ntxtt.fd
 newtxmath.sty
 newtxtext.sty
@@ -146410,13 +146425,27 @@ omlzmnmi.fd
 omlzutmi.fd
 omsntxsy.fd
 ot1minlibertine.fd
+ot1ntxlf.fd
+ot1ntxosf.fd
 ot1ntxss.fd
+ot1ntxsups.fd
+ot1ntxtlf.fd
+ot1ntxtosf.fd
 ot1ntxtt.fd
 t1fxl1.fd
 t1minlibertine.fd
+t1ntxlf.fd
+t1ntxosf.fd
 t1ntxss.fd
+t1ntxsups.fd
+t1ntxtlf.fd
+t1ntxtosf.fd
 t1ntxtt.fd
+ts1ntxlf.fd
+ts1ntxosf.fd
 ts1ntxss.fd
+ts1ntxtlf.fd
+ts1ntxtosf.fd
 ts1ntxtt.fd
 untxexa.fd
 untxmia.fd
diff --git a/Master/tlpkg/texlive.tlpdb b/Master/tlpkg/texlive.tlpdb
index f4971a3f62a..89cc06bcc70 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/2014
-depend revision/36197
+depend revision/36203
 
 name 00texlive.image
 category TLCore
-revision 36190
+revision 36202
 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
@@ -992,6 +992,7 @@ runfiles size=2650
  tlpkg/tlpsrc/ebgaramond.tlpsrc
  tlpkg/tlpsrc/ebong.tlpsrc
  tlpkg/tlpsrc/ebook.tlpsrc
+ tlpkg/tlpsrc/ebproof.tlpsrc
  tlpkg/tlpsrc/ebsthesis.tlpsrc
  tlpkg/tlpsrc/ec.tlpsrc
  tlpkg/tlpsrc/ecc.tlpsrc
@@ -28564,7 +28565,7 @@ docfiles size=42
 runfiles size=10
  texmf-dist/tex/latex/bussproofs/bussproofs.sty
 catalogue-ctan /macros/latex/contrib/bussproofs
-catalogue-date 2012-08-21 20:18:04 +0200
+catalogue-date 2015-02-03 17:14:53 +0100
 catalogue-license lppl1.3
 catalogue-version 1.1
 
@@ -44186,7 +44187,7 @@ depend spelling
 
 name collection-mathextra
 category Collection
-revision 35973
+revision 36202
 shortdesc Mathematics packages
 depend collection-fontsrecommended
 depend collection-latex
@@ -44204,6 +44205,7 @@ depend commath
 depend concmath
 depend concrete
 depend conteq
+depend ebproof
 depend eqnarray
 depend extarrows
 depend extpfeil
@@ -62503,6 +62505,28 @@ catalogue-ctan /macros/latex/contrib/ebook
 catalogue-date 2014-02-26 23:03:13 +0100
 catalogue-license pd
 
+name ebproof
+category Package
+revision 36202
+shortdesc Formal proofs in the style of sequent calculus.
+longdesc This package provides commands to typeset proof trees in the
+longdesc style of sequent calculus and related systems. The commands
+longdesc allow for writing inferences with any number of premisses and
+longdesc alignment of successive formulas on an arbitrary point. Various
+longdesc options allow complete control over spacing, styles of
+longdesc inference rules, placement of labels, etc. The package requires
+longdesc pgfkeys (from the PGF/TikZ bundle) for the option system.
+docfiles size=54
+ texmf-dist/doc/latex/ebproof/README details="Readme"
+ texmf-dist/doc/latex/ebproof/ebproof.pdf details="Package documentation"
+ texmf-dist/doc/latex/ebproof/ebproof.tex
+runfiles size=4
+ texmf-dist/tex/latex/ebproof/ebproof.sty
+catalogue-ctan /macros/latex/contrib/ebproof
+catalogue-date 2015-02-03 17:09:28 +0100
+catalogue-license lppl
+catalogue-version 1.0
+
 name ebsthesis
 category Package
 revision 15878
@@ -83091,7 +83115,7 @@ catalogue-version 1.5.2
 
 name glossaries
 category Package
-revision 35657
+revision 36201
 shortdesc Create glossaries and lists of acronyms.
 longdesc The glossaries package supports acronyms and multiple
 longdesc glossaries, and has provision for operation in several
@@ -83113,7 +83137,7 @@ longdesc the first letter of a word to upper case. The package
 longdesc supersedes the author's glossary package (which is now
 longdesc obsolete), and a conversion tool is provided.
 depend glossaries.ARCH
-docfiles size=1774
+docfiles size=1779
  texmf-dist/doc/latex/glossaries/CHANGES
  texmf-dist/doc/latex/glossaries/INSTALL
  texmf-dist/doc/latex/glossaries/README details="Readme"
@@ -83252,9 +83276,9 @@ runfiles size=159
  texmf-dist/tex/latex/glossaries/test-entries/example-glossaries-symbols.tex
  texmf-dist/tex/latex/glossaries/test-entries/example-glossaries-url.tex
 catalogue-ctan /macros/latex/contrib/glossaries
-catalogue-date 2014-11-24 19:52:23 +0100
+catalogue-date 2015-02-03 17:25:35 +0100
 catalogue-license lppl1.3
-catalogue-version 4.12
+catalogue-version 4.13
 
 name glossaries-danish
 category Package
@@ -132364,7 +132388,7 @@ catalogue-version 1.0
 
 name newtx
 category Package
-revision 36182
+revision 36200
 shortdesc Alternative uses of the TX fonts, with improved metrics.
 longdesc The bundle splits txfonts.sty (from the TX fonts distribution)
 longdesc into two independent packages, ntxtext.sty and ntxmath.sty,
@@ -132392,7 +132416,7 @@ docfiles size=207
  texmf-dist/doc/fonts/newtx/sample-ntx-crop.pdf
  texmf-dist/doc/fonts/newtx/sample-ptmx-crop.pdf
  texmf-dist/doc/fonts/newtx/sample-tx-crop.pdf
-runfiles size=1845
+runfiles size=1864
  texmf-dist/fonts/afm/public/newtx/ntxsups-Bold.afm
  texmf-dist/fonts/afm/public/newtx/ntxsups-BoldItalic.afm
  texmf-dist/fonts/afm/public/newtx/ntxsups-Italic.afm
@@ -132927,7 +132951,12 @@ runfiles size=1845
  texmf-dist/fonts/vf/public/newtx/zutbmi.vf
  texmf-dist/fonts/vf/public/newtx/zutmi.vf
  texmf-dist/tex/latex/newtx/ly1minlibertine.fd
+ texmf-dist/tex/latex/newtx/ly1ntxlf.fd
+ texmf-dist/tex/latex/newtx/ly1ntxosf.fd
  texmf-dist/tex/latex/newtx/ly1ntxss.fd
+ texmf-dist/tex/latex/newtx/ly1ntxsups.fd
+ texmf-dist/tex/latex/newtx/ly1ntxtlf.fd
+ texmf-dist/tex/latex/newtx/ly1ntxtosf.fd
  texmf-dist/tex/latex/newtx/ly1ntxtt.fd
  texmf-dist/tex/latex/newtx/newtxmath.sty
  texmf-dist/tex/latex/newtx/newtxtext.sty
@@ -132938,13 +132967,27 @@ runfiles size=1845
  texmf-dist/tex/latex/newtx/omlzutmi.fd
  texmf-dist/tex/latex/newtx/omsntxsy.fd
  texmf-dist/tex/latex/newtx/ot1minlibertine.fd
+ texmf-dist/tex/latex/newtx/ot1ntxlf.fd
+ texmf-dist/tex/latex/newtx/ot1ntxosf.fd
  texmf-dist/tex/latex/newtx/ot1ntxss.fd
+ texmf-dist/tex/latex/newtx/ot1ntxsups.fd
+ texmf-dist/tex/latex/newtx/ot1ntxtlf.fd
+ texmf-dist/tex/latex/newtx/ot1ntxtosf.fd
  texmf-dist/tex/latex/newtx/ot1ntxtt.fd
  texmf-dist/tex/latex/newtx/t1fxl1.fd
  texmf-dist/tex/latex/newtx/t1minlibertine.fd
+ texmf-dist/tex/latex/newtx/t1ntxlf.fd
+ texmf-dist/tex/latex/newtx/t1ntxosf.fd
  texmf-dist/tex/latex/newtx/t1ntxss.fd
+ texmf-dist/tex/latex/newtx/t1ntxsups.fd
+ texmf-dist/tex/latex/newtx/t1ntxtlf.fd
+ texmf-dist/tex/latex/newtx/t1ntxtosf.fd
  texmf-dist/tex/latex/newtx/t1ntxtt.fd
+ texmf-dist/tex/latex/newtx/ts1ntxlf.fd
+ texmf-dist/tex/latex/newtx/ts1ntxosf.fd
  texmf-dist/tex/latex/newtx/ts1ntxss.fd
+ texmf-dist/tex/latex/newtx/ts1ntxtlf.fd
+ texmf-dist/tex/latex/newtx/ts1ntxtosf.fd
  texmf-dist/tex/latex/newtx/ts1ntxtt.fd
  texmf-dist/tex/latex/newtx/untxexa.fd
  texmf-dist/tex/latex/newtx/untxmia.fd
@@ -132954,9 +132997,9 @@ runfiles size=1845
  texmf-dist/tex/latex/newtx/untxtt.fd
  texmf-dist/tex/latex/newtx/uzmnmia.fd
 catalogue-ctan /fonts/newtx
-catalogue-date 2015-02-01 06:48:14 +0100
+catalogue-date 2015-02-03 19:28:06 +0100
 catalogue-license lppl1.3
-catalogue-version 1.4
+catalogue-version 1.401
 
 name newtxsf
 category Package
@@ -161474,7 +161517,7 @@ runfiles size=184
  texmf-dist/tex/latex/revtex/revsymb4-1.sty
  texmf-dist/tex/latex/revtex/revtex4-1.cls
 catalogue-ctan /macros/latex/contrib/revtex
-catalogue-date 2014-02-15 16:22:18 +0100
+catalogue-date 2015-02-03 14:45:29 +0100
 catalogue-license lppl1.3
 catalogue-version 4.1r
 
@@ -170682,7 +170725,7 @@ catalogue-version 0.0.2
 
 name stringstrings
 category Package
-revision 30093
+revision 36203
 shortdesc String manipulation for cosmetic and programming application.
 longdesc The package provides a large and sundry set of macros for the
 longdesc manipulation of strings. The macros are developed not merely