diff options
Diffstat (limited to 'Master')
| -rw-r--r-- | Master/texmf-dist/ls-R | 29 | ||||
| -rw-r--r-- | Master/tlpkg/texlive.tlpdb | 71 |
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 |