summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2015-02-04 02:11:30 +0000
committerKarl Berry <karl@freefriends.org>2015-02-04 02:11:30 +0000
commit55d502a7896383ea3656aa50726c1d43f6654646 (patch)
treec8e513d138395cce4419d0af3e265bd2a6794558
parent0c94de6b806ddf6d4728555897667610f0a3de55 (diff)
autoupdate
git-svn-id: svn://tug.org/texlive/trunk@36204 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Master/texmf-dist/ls-R29
-rw-r--r--Master/tlpkg/texlive.tlpdb71
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