autoupdate

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

2 files changed, 172 insertions, 10 deletions

diff --git a/Master/texmf-dist/ls-R b/Master/texmf-dist/ls-R
index 9d7ddb769d6..bb03e377ac4 100644
--- a/Master/texmf-dist/ls-R
+++ b/Master/texmf-dist/ls-R
@@ -2449,6 +2449,7 @@ enc
 epigrafica
 erewhon
 esint-type1
+esrelation
 esstix
 euro-ce
 eurosym
@@ -3672,6 +3673,10 @@ README.plainTeX
 table.pdf
 table.tex
 
+./doc/fonts/esrelation:
+README.md
+esrelation.pdf
+
 ./doc/fonts/esstix:
 ESSTIX10.tfm
 ESSTIX11.tfm
@@ -9283,6 +9288,7 @@ datetime2-greek
 datetime2-hebrew
 datetime2-icelandic
 datetime2-irish
+datetime2-it-fulltext
 datetime2-italian
 datetime2-latin
 datetime2-lsorbian
@@ -15301,6 +15307,17 @@ datetime2-icelandic.pdf
 README
 datetime2-irish.pdf
 
+./doc/latex/datetime2-it-fulltext:
+README
+datetime2-it-fulltext.pdf
+samples
+
+./doc/latex/datetime2-it-fulltext/samples:
+sample-it-fulltext.tex
+sample-it-fulltext2.tex
+sample-it-fulltext3.tex
+sample-it-fulltext4.tex
+
 ./doc/latex/datetime2-italian:
 README
 sample
@@ -42303,6 +42320,7 @@ font-change
 fontch
 gentle
 getoptk
+gfnotation
 graphics-pln
 gustlib
 happy4th
@@ -42362,6 +42380,12 @@ COPYING-FR
 README
 guide.pdf
 
+./doc/plain/gfnotation:
+COPYING
+GFnotation-doc.pdf
+GFnotation-doc.tex
+README
+
 ./doc/plain/graphics-pln:
 00readme.txt
 exmplcol.tex
@@ -51551,6 +51575,7 @@ epigrafica
 epiolmec
 erewhon
 esint-type1
+esrelation
 esstix
 esvect
 ethiop-t1
@@ -51980,6 +52005,9 @@ erewhon.map
 ./fonts/map/dvips/esint-type1:
 esint.map
 
+./fonts/map/dvips/esrelation:
+esrelation.map
+
 ./fonts/map/dvips/esstix:
 ESSTIX.map
 
@@ -56415,6 +56443,7 @@ eiad
 eiad-ltx
 elvish
 esint
+esrelation
 esvect
 etex
 ethiop
@@ -59496,6 +59525,10 @@ bigint.mf
 esint10.mf
 mathint.mf
 
+./fonts/source/public/esrelation:
+esrelation.mf
+esrelation10.mf
+
 ./fonts/source/public/esvect:
 mathvec.mf
 vecsym.mf
@@ -72314,6 +72347,7 @@ epigrafica
 epiolmec
 erewhon
 esint
+esrelation
 esstix
 esvect
 etex
@@ -78384,6 +78418,9 @@ Erewhon-RegularSlanted-tosf-ts1.tfm
 ./fonts/tfm/public/esint:
 esint10.tfm
 
+./fonts/tfm/public/esrelation:
+esrelation10.tfm
+
 ./fonts/tfm/public/esstix:
 esstixbb.tfm
 esstixcal.tfm
@@ -100629,6 +100666,7 @@ epigrafica
 epiolmec
 erewhon
 esint-type1
+esrelation
 esstix
 esvect
 ethiop-t1
@@ -103725,6 +103763,9 @@ Erewhon-RegularSlanted.pfb
 ./fonts/type1/public/esint-type1:
 esint10.pfb
 
+./fonts/type1/public/esrelation:
+esrelation10.pfb
+
 ./fonts/type1/public/esstix:
 ESSTIX10.pfb
 ESSTIX11.pfb
@@ -122158,6 +122199,7 @@ droid
 eco
 electrum
 enc
+esrelation
 fetamont
 feyn
 fge
@@ -122471,6 +122513,10 @@ c90
 c90.etx
 c90.mtx
 
+./source/fonts/esrelation:
+esrelation.dtx
+esrelation.ins
+
 ./source/fonts/fetamont:
 fetamont.dtx
 fetamont.ins
@@ -124219,6 +124265,7 @@ datetime2-greek
 datetime2-hebrew
 datetime2-icelandic
 datetime2-irish
+datetime2-it-fulltext
 datetime2-italian
 datetime2-latin
 datetime2-lsorbian
@@ -126311,6 +126358,10 @@ datetime2-icelandic.ins
 datetime2-irish.dtx
 datetime2-irish.ins
 
+./source/latex/datetime2-it-fulltext:
+datetime2-it-fulltext.dtx
+datetime2-it-fulltext.ins
+
 ./source/latex/datetime2-italian:
 datetime2-italian.dtx
 datetime2-italian.ins
@@ -138533,6 +138584,7 @@ datetime2-greek
 datetime2-hebrew
 datetime2-icelandic
 datetime2-irish
+datetime2-it-fulltext
 datetime2-italian
 datetime2-latin
 datetime2-lsorbian
@@ -138696,6 +138748,7 @@ esk
 eskd
 eskdx
 eso-pic
+esrelation
 esstix
 estcpmm
 esvect
@@ -144176,6 +144229,11 @@ datetime2-irish-ascii.ldf
 datetime2-irish-utf8.ldf
 datetime2-irish.ldf
 
+./tex/latex/datetime2-it-fulltext:
+datetime2-it-fulltext-ascii.ldf
+datetime2-it-fulltext-utf8.ldf
+datetime2-it-fulltext.sty
+
 ./tex/latex/datetime2-italian:
 datetime2-italian-ascii.ldf
 datetime2-italian-utf8.ldf
@@ -145044,6 +145102,10 @@ eskdukrainian.def
 eso-pic.sty
 showframe.sty
 
+./tex/latex/esrelation:
+esrelation.sty
+uesrelation.fd
+
 ./tex/latex/esstix:
 esstixbb.sty
 esstixcal.sty
@@ -155468,6 +155530,7 @@ font-change
 fontch
 fp
 getoptk
+gfnotation
 graphics-pln
 gustlib
 hanoi
@@ -155656,6 +155719,9 @@ fp.tex
 getoptk.tex
 guide.tex
 
+./tex/plain/gfnotation:
+GFnotation.tex
+
 ./tex/plain/graphics-pln:
 autopict.sty
 color.tex
diff --git a/Master/tlpkg/texlive.tlpdb b/Master/tlpkg/texlive.tlpdb
index b6dc6c17973..995bf536fa3 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/37149
+depend revision/37156
 
 name 00texlive.image
 category TLCore
-revision 37105
+revision 37156
 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
@@ -38,7 +38,7 @@ longdesc IgnorePatterns in the check_files routine in tlmgr.pl augment
 longdesc this list.  Those are not included in the source/ tarball.  For
 longdesc information on the 00texlive prefix see
 longdesc 00texlive.installation(.tlpsrc)
-runfiles size=2669
+runfiles size=2670
  .mkisofsrc
  autorun.inf
  texmf-dist/README
@@ -918,6 +918,7 @@ runfiles size=2669
  tlpkg/tlpsrc/datetime2-hebrew.tlpsrc
  tlpkg/tlpsrc/datetime2-icelandic.tlpsrc
  tlpkg/tlpsrc/datetime2-irish.tlpsrc
+ tlpkg/tlpsrc/datetime2-it-fulltext.tlpsrc
  tlpkg/tlpsrc/datetime2-italian.tlpsrc
  tlpkg/tlpsrc/datetime2-latin.tlpsrc
  tlpkg/tlpsrc/datetime2-lsorbian.tlpsrc
@@ -1136,6 +1137,7 @@ runfiles size=2669
  tlpkg/tlpsrc/eskd.tlpsrc
  tlpkg/tlpsrc/eskdx.tlpsrc
  tlpkg/tlpsrc/eso-pic.tlpsrc
+ tlpkg/tlpsrc/esrelation.tlpsrc
  tlpkg/tlpsrc/esstix.tlpsrc
  tlpkg/tlpsrc/estcpmm.tlpsrc
  tlpkg/tlpsrc/esvect.tlpsrc
@@ -1348,6 +1350,7 @@ runfiles size=2669
  tlpkg/tlpsrc/getfiledate.tlpsrc
  tlpkg/tlpsrc/getmap.tlpsrc
  tlpkg/tlpsrc/getoptk.tlpsrc
+ tlpkg/tlpsrc/gfnotation.tlpsrc
  tlpkg/tlpsrc/gfsartemisia.tlpsrc
  tlpkg/tlpsrc/gfsbaskerville.tlpsrc
  tlpkg/tlpsrc/gfsbodoni.tlpsrc
@@ -41524,7 +41527,7 @@ depend context-visualcounter
 
 name collection-fontsextra
 category Collection
-revision 36986
+revision 37154
 shortdesc Additional fonts
 depend collection-basic
 depend Asana-Math
@@ -41616,6 +41619,7 @@ depend elvish
 depend epigrafica
 depend epsdice
 depend erewhon
+depend esrelation
 depend esstix
 depend esvect
 depend eulervm
@@ -42622,7 +42626,7 @@ depend url
 
 name collection-latexextra
 category Collection
-revision 37010
+revision 37155
 shortdesc LaTeX additional packages
 longdesc A very large collection of add-on packages for LaTeX.
 depend collection-latexrecommended
@@ -42840,6 +42844,7 @@ depend datetime2-hebrew
 depend datetime2-icelandic
 depend datetime2-irish
 depend datetime2-italian
+depend datetime2-it-fulltext
 depend datetime2-latin
 depend datetime2-lsorbian
 depend datetime2-magyar
@@ -44051,7 +44056,7 @@ depend xypic
 
 name collection-plainextra
 category Collection
-revision 35575
+revision 37156
 shortdesc Plain TeX packages
 longdesc Add-on packages and macros that work with plain TeX.
 depend collection-basic
@@ -44061,6 +44066,7 @@ depend fixpdfmag
 depend font-change
 depend fontch
 depend getoptk
+depend gfnotation
 depend graphics-pln
 depend hyplain
 depend js-misc
@@ -54017,6 +54023,36 @@ catalogue-date 2015-04-23 08:14:29 +0200
 catalogue-license lppl1.3
 catalogue-version 1.0
 
+name datetime2-it-fulltext
+category Package
+revision 37155
+shortdesc Italian full text styles for the datetime2 package.
+longdesc Italian date and time styles that use words for the numbers and
+longdesc ordinals. This package provides the following date and time
+longdesc styles: "it-fulltext" and "it-fulltext-twenty-four". The first
+longdesc style uses a format "am pm", the second a format "24 hours".
+longdesc The necessary packages are datetime2, itnumpar, ifxetex, and
+longdesc ifluatex. This package is the translation and adaptation of
+longdesc datetime2-en-fulltext.
+docfiles size=29
+ texmf-dist/doc/latex/datetime2-it-fulltext/README details="Readme"
+ texmf-dist/doc/latex/datetime2-it-fulltext/datetime2-it-fulltext.pdf details="Package documentation"
+ texmf-dist/doc/latex/datetime2-it-fulltext/samples/sample-it-fulltext.tex
+ texmf-dist/doc/latex/datetime2-it-fulltext/samples/sample-it-fulltext2.tex
+ texmf-dist/doc/latex/datetime2-it-fulltext/samples/sample-it-fulltext3.tex
+ texmf-dist/doc/latex/datetime2-it-fulltext/samples/sample-it-fulltext4.tex
+srcfiles size=5
+ texmf-dist/source/latex/datetime2-it-fulltext/datetime2-it-fulltext.dtx
+ texmf-dist/source/latex/datetime2-it-fulltext/datetime2-it-fulltext.ins
+runfiles size=5
+ texmf-dist/tex/latex/datetime2-it-fulltext/datetime2-it-fulltext-ascii.ldf
+ texmf-dist/tex/latex/datetime2-it-fulltext/datetime2-it-fulltext-utf8.ldf
+ texmf-dist/tex/latex/datetime2-it-fulltext/datetime2-it-fulltext.sty
+catalogue-ctan /macros/latex/contrib/datetime2-contrib/datetime2-it-fulltext
+catalogue-date 2015-05-02 08:38:12 +0200
+catalogue-license lppl1.3
+catalogue-version 1.0
+
 name datetime2-italian
 category Package
 revision 37146
@@ -54053,7 +54089,7 @@ runfiles size=5
  texmf-dist/tex/latex/datetime2-italian/datetime2-italian-utf8.ldf
  texmf-dist/tex/latex/datetime2-italian/datetime2-italian.ldf
 catalogue-ctan /macros/latex/contrib/datetime2-contrib/datetime2-italian
-catalogue-date 2015-05-01 14:49:29 +0200
+catalogue-date 2015-05-02 11:06:25 +0200
 catalogue-license lppl1.3
 catalogue-version 1.3
 
@@ -57540,7 +57576,7 @@ catalogue-license lppl1.3
 
 name drm
 category Package
-revision 36735
+revision 37153
 shortdesc A complete family of fonts written in Metafont.
 longdesc The package provides access to the DRM (Don's Revised Modern)
 longdesc family of fonts, which includes a variety of optical sizes in
@@ -70557,6 +70593,46 @@ catalogue-date 2015-04-20 21:11:45 +0200
 catalogue-license lppl1.2
 catalogue-version 2.0e
 
+name esrelation
+category Package
+revision 37154
+shortdesc Provides a symbol set for describing relations between ordered pairs
+longdesc Around 2008, researcher Byron Cook and several colleagues began
+longdesc developing a new set of interrelated algorithms capable of
+longdesc automatically reasoning about the behavior of computer programs
+longdesc and other systems (such as biological systems, circuit designs,
+longdesc etc). At the center of these algorithms were new ideas about
+longdesc the relationships between structures expressable as
+longdesc mathematical sets and relations. Using the language of
+longdesc mathematics and logic, the researchers communicated these new
+longdesc results to others in their community via published papers,
+longdesc research talks, etc. Unfortunately, they found the symbols
+longdesc already available for reasoning about relations lacking (in
+longdesc contrast to sets, which have a long-ago developed and robust
+longdesc symbol vocabulary). Early presentations were unnecessarily
+longdesc cluttered. To more elegantly express these ideas around
+longdesc relations, Cook recruited artist Tauba Auerbach to help develop
+longdesc a set of symbols. This package provides an math symbol font for
+longdesc describing relations between ordered pairs by using Metafont.
+execute addMap esrelation.map
+docfiles size=40
+ texmf-dist/doc/fonts/esrelation/README.md
+ texmf-dist/doc/fonts/esrelation/esrelation.pdf details="Package documentation"
+srcfiles size=7
+ texmf-dist/source/fonts/esrelation/esrelation.dtx
+ texmf-dist/source/fonts/esrelation/esrelation.ins
+runfiles size=16
+ texmf-dist/fonts/map/dvips/esrelation/esrelation.map
+ texmf-dist/fonts/source/public/esrelation/esrelation.mf
+ texmf-dist/fonts/source/public/esrelation/esrelation10.mf
+ texmf-dist/fonts/tfm/public/esrelation/esrelation10.tfm
+ texmf-dist/fonts/type1/public/esrelation/esrelation10.pfb
+ texmf-dist/tex/latex/esrelation/esrelation.sty
+ texmf-dist/tex/latex/esrelation/uesrelation.fd
+catalogue-ctan /fonts/esrelation
+catalogue-date 2015-05-02 16:38:34 +0200
+catalogue-license noinfo
+
 name esstix
 category Package
 revision 22426
@@ -82746,6 +82822,26 @@ catalogue-date 2014-02-26 23:03:13 +0100
 catalogue-license other-free
 catalogue-version 1.0
 
+name gfnotation
+category Package
+revision 37156
+shortdesc Typeset Gottlob Frege's notation in plain TeX
+longdesc The package implements macros for plain TeX to typeset the
+longdesc notation invented by Gottlob Frege in 1879 for his books
+longdesc "Begriffsschrift" and "Grundgesetze der Arithmetik" (two
+longdesc volumes). The output styles of both books are supported.
+docfiles size=63
+ texmf-dist/doc/plain/gfnotation/COPYING
+ texmf-dist/doc/plain/gfnotation/GFnotation-doc.pdf details="Package documentation"
+ texmf-dist/doc/plain/gfnotation/GFnotation-doc.tex
+ texmf-dist/doc/plain/gfnotation/README details="Readme"
+runfiles size=22
+ texmf-dist/tex/plain/gfnotation/GFnotation.tex
+catalogue-ctan /macros/plain/contrib/gfnotation
+catalogue-date 2015-05-02 22:34:45 +0200
+catalogue-license gpl3
+catalogue-version 2.9
+
 name gfsartemisia
 category Package
 revision 19469
@@ -183501,12 +183597,12 @@ docfiles size=321
 
 name texlive-docindex
 category TLCore
-revision 37127
+revision 37151
 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
 longdesc for the process.
-docfiles size=192
+docfiles size=191
  doc.html
 runfiles size=270
  texmf-dist/scripts/texlive/var/texcatalogue.keywords