summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf-dist/ls-R66
-rw-r--r--Master/tlpkg/texlive.tlpdb116
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