From e0cfb56f1591507ba450602435ed05b43311b576 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sun, 20 Mar 2016 02:11:21 +0000 Subject: autoupdate git-svn-id: svn://tug.org/texlive/trunk@40081 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/ls-R | 26 +++++++++++ Master/tlpkg/texlive.tlpdb | 109 +++++++++++++++++++++++++++++++++++---------- 2 files changed, 111 insertions(+), 24 deletions(-) diff --git a/Master/texmf-dist/ls-R b/Master/texmf-dist/ls-R index d3ed77ef370..f5b8c62bc0d 100644 --- a/Master/texmf-dist/ls-R +++ b/Master/texmf-dist/ls-R @@ -10170,6 +10170,7 @@ keycommand keyreader keystroke keyval2e +keyvaltable kix kluwer knittingpattern @@ -10628,6 +10629,7 @@ program progress progressbar proofread +prooftrees properties proposal prosper @@ -23173,6 +23175,10 @@ keyval2e-examples.tex keyval2e-guide.pdf keyval2e-guide.tex +./doc/latex/keyvaltable: +README.md +keyvaltable.pdf + ./doc/latex/kix: kix.pdf kix.tex @@ -30197,6 +30203,13 @@ proofread.hd proofread.pdf vimrc +./doc/latex/prooftrees: +README +manifest.txt +prooftrees.pdf +prooftrees.tex +prooftrees_biber.bib + ./doc/latex/properties: readme.de testprop.tex @@ -130553,6 +130566,7 @@ karnaughmap kdgdocs kerntest keycommand +keyvaltable kluwer koma-script komacv @@ -133895,6 +133909,10 @@ keycommand.drv keycommand.dtx keycommand.ins +./source/latex/keyvaltable: +keyvaltable.dtx +keyvaltable.ins + ./source/latex/kluwer: kluwer.dtx kluwer.ins @@ -145893,6 +145911,7 @@ keycommand keyreader keystroke keyval2e +keyvaltable kix kluwer knitting @@ -146341,6 +146360,7 @@ program progress progressbar proofread +prooftrees properties proposal prosper @@ -154713,6 +154733,9 @@ keystroke_right.pdf ./tex/latex/keyval2e: keyval2e.sty +./tex/latex/keyvaltable: +keyvaltable.sty + ./tex/latex/kix: kix.sty @@ -158539,6 +158562,9 @@ progressbar.sty ./tex/latex/proofread: proofread.sty +./tex/latex/prooftrees: +prooftrees.sty + ./tex/latex/properties: properties.sty 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 -- cgit v1.2.3