summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/texmf-dist/ls-R26
-rw-r--r--Master/tlpkg/texlive.tlpdb109
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