autoupdate

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

2 files changed, 214 insertions, 35 deletions

diff --git a/Master/texmf-dist/ls-R b/Master/texmf-dist/ls-R
index a7a6e25febc..e2f95a4365c 100644
--- a/Master/texmf-dist/ls-R
+++ b/Master/texmf-dist/ls-R
@@ -9006,6 +9006,7 @@ logreq
 longnamefilelist
 loops
 lpic
+lplfitch
 lps
 lsc
 lshort-bulgarian
@@ -9307,6 +9308,7 @@ polynom
 polynomial
 polytable
 postcards
+powerdot
 powerdot-FUBerlin
 ppr-prv
 pracjourn
@@ -20889,6 +20891,10 @@ instructions-differential.pdf
 instructions.pdf
 instructions.tex
 
+./doc/latex/lplfitch:
+README
+lplfitch.pdf
+
 ./doc/latex/lps:
 README
 lps.pdf
@@ -24822,6 +24828,51 @@ README
 datasmp.txt
 pcardsmp.tex
 
+./doc/latex/powerdot:
+Changes
+README
+docs
+images
+lyx
+
+./doc/latex/powerdot/docs:
+RunDoc
+RunExamples
+RunSlideDoc
+manifest.txt
+powerdot-example1.pdf
+powerdot-example1.tex
+powerdot-example2.pdf
+powerdot-example2.tex
+powerdot-example3.pdf
+powerdot-example3.tex
+powerdot-styleexample.tex
+powerdot-styletest.tex
+powerdot.bib
+powerdot.pdf
+powerdot.tex
+powerdotDE.pdf
+powerdotDE.tex
+powerdotSlide.pdf
+powerdotSlide.tex
+
+./doc/latex/powerdot/images:
+clemson.eps
+pawmkorange.eps
+pawmkorange.png
+pawmkpurple.eps
+pawmkpurple.png
+pawtraceorange.eps
+pawtraceorange.png
+pawtracep.eps
+pawtracep.png
+powerdot-default.ps
+
+./doc/latex/powerdot/lyx:
+powerdot-example.lyx
+powerdot-example.tex
+powerdot.layout
+
 ./doc/latex/powerdot-FUBerlin:
 FULogo.eps
 FULogo_RGB.eps
@@ -105191,6 +105242,7 @@ localloc
 logbox
 logpap
 longnamefilelist
+lplfitch
 lps
 lstaddons
 ltxindex
@@ -108405,6 +108457,10 @@ logpap.ins
 longnamefilelist.tex
 srcfiles.tex
 
+./source/latex/lplfitch:
+lplfitch.dtx
+lplfitch.ins
+
 ./source/latex/lps:
 lps.dtx
 lps.ins
@@ -118362,6 +118418,7 @@ logreq
 longnamefilelist
 loops
 lpic
+lplfitch
 lps
 lsc
 lstaddons
@@ -118651,6 +118708,7 @@ polynom
 polynomial
 polytable
 postcards
+powerdot
 powerdot-FUBerlin
 ppr-prv
 pracjourn
@@ -126328,6 +126386,9 @@ loops.sty
 ./tex/latex/lpic:
 lpic.sty
 
+./tex/latex/lplfitch:
+lplfitch.sty
+
 ./tex/latex/lps:
 lps.cls
 
@@ -128542,6 +128603,27 @@ polytable.sty
 ./tex/latex/postcards:
 postcards.cls
 
+./tex/latex/powerdot:
+powerdot-aggie.sty
+powerdot-bframe.sty
+powerdot-ciment.sty
+powerdot-default.sty
+powerdot-elcolors.sty
+powerdot-fyma.sty
+powerdot-horatio.sty
+powerdot-husky.sty
+powerdot-ikeda.sty
+powerdot-jefka.sty
+powerdot-klope.sty
+powerdot-paintings.sty
+powerdot-pazik.sty
+powerdot-sailor.sty
+powerdot-simple.sty
+powerdot-tiger.sty
+powerdot-tycja.sty
+powerdot-upen.sty
+powerdot.cls
+
 ./tex/latex/powerdot-FUBerlin:
 FUpowerdot.cls
 powerdot-BerlinFU.sty
diff --git a/Master/tlpkg/texlive.tlpdb b/Master/tlpkg/texlive.tlpdb
index 83250526ec3..b4d2e5953f4 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/2013
-depend revision/31059
+depend revision/31077
 
 name 00texlive.image
 category TLCore
-revision 31047
+revision 31077
 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
@@ -1556,6 +1556,7 @@ runfiles size=2558
  tlpkg/tlpsrc/longnamefilelist.tlpsrc
  tlpkg/tlpsrc/loops.tlpsrc
  tlpkg/tlpsrc/lpic.tlpsrc
+ tlpkg/tlpsrc/lplfitch.tlpsrc
  tlpkg/tlpsrc/lps.tlpsrc
  tlpkg/tlpsrc/lsc.tlpsrc
  tlpkg/tlpsrc/lshort-bulgarian.tlpsrc
@@ -1986,6 +1987,7 @@ runfiles size=2558
  tlpkg/tlpsrc/postcards.tlpsrc
  tlpkg/tlpsrc/poster-mac.tlpsrc
  tlpkg/tlpsrc/powerdot-FUBerlin.tlpsrc
+ tlpkg/tlpsrc/powerdot.tlpsrc
  tlpkg/tlpsrc/ppr-prv.tlpsrc
  tlpkg/tlpsrc/pracjourn.tlpsrc
  tlpkg/tlpsrc/preprint.tlpsrc
@@ -16558,13 +16560,13 @@ catalogue-version 2.6m
 
 name babel-greek
 category Package
-revision 30912
+revision 31073
 shortdesc Babel support for documents written in Greek.
 longdesc The file provides modes for monotonic (single-diacritic) and
 longdesc polytonic (multiple-diacritic) modes of writing. Provision is
 longdesc made for Greek function names in mathematics, and for
 longdesc classical-era symbols.
-docfiles size=269
+docfiles size=274
  texmf-dist/doc/generic/babel-greek/README
  texmf-dist/doc/generic/babel-greek/README.html
  texmf-dist/doc/generic/babel-greek/athnum.pdf
@@ -16577,7 +16579,7 @@ docfiles size=269
  texmf-dist/doc/generic/babel-greek/test-unicode-greek.tex
  texmf-dist/doc/generic/babel-greek/usage.pdf details="Usage documentation"
  texmf-dist/doc/generic/babel-greek/usage.tex
-srcfiles size=26
+srcfiles size=27
  texmf-dist/source/generic/babel-greek/athnum.dtx
  texmf-dist/source/generic/babel-greek/greek.dtx
  texmf-dist/source/generic/babel-greek/greek.fdd
@@ -16600,9 +16602,9 @@ runfiles size=18
  texmf-dist/tex/generic/babel-greek/lgrlmss.fd
  texmf-dist/tex/generic/babel-greek/lgrlmtt.fd
 catalogue-ctan /macros/latex/contrib/babel-contrib/greek
-catalogue-date 2013-06-23 22:51:06 +0200
+catalogue-date 2013-07-02 13:32:44 +0200
 catalogue-license lppl1.3
-catalogue-version 1.5
+catalogue-version 1.5a
 
 name babel-hebrew
 category Package
@@ -38724,7 +38726,7 @@ depend zwpagelayout
 
 name collection-latexrecommended
 category Collection
-revision 31023
+revision 31071
 shortdesc LaTeX recommended packages
 longdesc A collection of recommended add-on packages for LaTeX which
 longdesc have widespread use.
@@ -38763,6 +38765,7 @@ depend ms
 depend ntgclass
 depend parskip
 depend pdfpages
+depend powerdot
 depend psfrag
 depend rcs
 depend rotating
@@ -38818,7 +38821,7 @@ depend spelling
 
 name collection-mathextra
 category Collection
-revision 30747
+revision 31077
 shortdesc Mathematics packages
 depend collection-fontsrecommended
 depend collection-latex
@@ -38841,6 +38844,7 @@ depend faktor
 depend interval
 depend ionumbers
 depend isomath
+depend lplfitch
 depend mathcomp
 depend mattens
 depend mhequ
@@ -62491,7 +62495,7 @@ runfiles size=20
  texmf-dist/tex/generic/expex/expex.sty
  texmf-dist/tex/generic/expex/expex.tex
 catalogue-ctan /macros/plain/contrib/expex
-catalogue-date 2013-07-01 18:35:31 +0200
+catalogue-date 2013-07-02 16:20:31 +0200
 catalogue-license lppl
 catalogue-version 4.1b
 
@@ -71160,15 +71164,15 @@ catalogue-license gpl3
 
 name gnuplottex
 category Package
-revision 31039
+revision 31074
 shortdesc Embed Gnuplot commands in LaTeX documents.
-longdesc Gnuplot code is extracted from the document and written to
-longdesc .gnuplot files. Then, if shell escape is enabled, the graph
+longdesc The package extracts Gnuplot code from the document and writes
+longdesc it to .gnuplot files. If shell escape is enabled, the graph
 longdesc files are automatically processed and converted to PostScript
 longdesc or PDF files, which will then be included. If shell escape is
-longdesc disabled, the user will have to manually run the files through
-longdesc gnuplot and re-run the LaTeX job.
-docfiles size=48
+longdesc disabled, the user needs to run the files through gnuplot, and
+longdesc re-run the LaTeX job.
+docfiles size=49
  texmf-dist/doc/latex/gnuplottex/README details="Readme"
  texmf-dist/doc/latex/gnuplottex/example-pdf.tex
  texmf-dist/doc/latex/gnuplottex/example.gnuplot
@@ -71180,9 +71184,9 @@ srcfiles size=5
 runfiles size=2
  texmf-dist/tex/latex/gnuplottex/gnuplottex.sty
 catalogue-ctan /macros/latex/contrib/gnuplottex
-catalogue-date 2013-06-03 19:02:36 +0200
+catalogue-date 2013-07-02 11:18:33 +0200
 catalogue-license gpl2
-catalogue-version 0.5
+catalogue-version 0.6
 
 name go
 category Package
@@ -76531,7 +76535,7 @@ catalogue-license fdl
 
 name impnattypo
 category Package
-revision 24057
+revision 31076
 shortdesc Support typography of l'Imprimerie Nationale FranASSaise.
 longdesc The package provides useful macros implementing recommendations
 longdesc by the French Imprimerie Nationale.
@@ -93479,7 +93483,7 @@ srcfiles size=5
 runfiles size=2
  texmf-dist/tex/latex/lengthconvert/lengthconvert.sty
 catalogue-ctan /macros/latex/contrib/lengthconvert
-catalogue-date 2013-06-24 12:34:18 +0200
+catalogue-date 2013-07-02 16:20:31 +0200
 catalogue-license lppl1.3
 catalogue-version 1.0a
 
@@ -96413,7 +96417,7 @@ runfiles size=730
  texmf-dist/tex/latex/librecaslon/TS1LibreCaslonText-TLF.fd
  texmf-dist/tex/latex/librecaslon/librecaslon.sty
 catalogue-ctan /fonts/librecaslon
-catalogue-date 2013-06-28 13:33:35 +0200
+catalogue-date 2013-07-02 16:20:31 +0200
 catalogue-license ofl
 catalogue-version 1.0
 
@@ -98714,6 +98718,28 @@ catalogue-date 2012-06-08 15:42:15 +0200
 catalogue-license lppl1.3
 catalogue-version 0.8
 
+name lplfitch
+category Package
+revision 31077
+shortdesc Fitch-style natural deduction proofs.
+longdesc The package provides macros for typesetting natural deduction
+longdesc proofs in "Fitch" style, with subproofs indented and offset by
+longdesc scope lines. The proofs from use of the package are in the
+longdesc format used in the textbook Language, Proof, and Logic by Dave
+longdesc Barker-Plummer, Jon Barwise, and John Etchemendy.
+docfiles size=57
+ texmf-dist/doc/latex/lplfitch/README details="Readme"
+ texmf-dist/doc/latex/lplfitch/lplfitch.pdf details="Package documentation"
+srcfiles size=8
+ texmf-dist/source/latex/lplfitch/lplfitch.dtx
+ texmf-dist/source/latex/lplfitch/lplfitch.ins
+runfiles size=2
+ texmf-dist/tex/latex/lplfitch/lplfitch.sty
+catalogue-ctan /macros/latex/contrib/lplfitch
+catalogue-date 2013-07-02 16:20:31 +0200
+catalogue-license lppl1.3
+catalogue-version 0.9
+
 name lps
 category Package
 revision 21322
@@ -104682,7 +104708,7 @@ catalogue-version 1.1
 
 name mdframed
 category Package
-revision 30868
+revision 31075
 shortdesc Framed environments that can split at page boundaries.
 longdesc The package develops the facilities of framed in providing
 longdesc breakable framed and coloured boxes. The user may instruct the
@@ -110755,7 +110781,7 @@ runfiles size=10
  texmf-dist/scripts/multibibliography/multibibliography.pl
  texmf-dist/tex/latex/multibibliography/multibibliography.sty
 catalogue-ctan /macros/latex/contrib/multibibliography
-catalogue-date 2013-06-25 10:24:07 +0200
+catalogue-date 2013-07-02 16:20:31 +0200
 catalogue-license lppl1.3
 catalogue-version 1.03
 
@@ -127898,6 +127924,77 @@ catalogue-date 2012-03-31 22:28:21 +0200
 catalogue-license lppl
 catalogue-version 1.1
 
+name powerdot
+category Package
+revision 31071
+shortdesc A presentation class.
+longdesc Powerdot is a presentation class for LaTeX that allows for the
+longdesc quick and easy development of professional presentations. It
+longdesc comes with many tools that enhance presentations and aid the
+longdesc presenter. Examples are automatic overlays, personal notes and
+longdesc a handout mode. To view a presentation, DVI, PS or PDF output
+longdesc can be used. A powerful template system is available to easily
+longdesc develop new styles. A LyX layout file is provided.
+docfiles size=1046
+ texmf-dist/doc/latex/powerdot/Changes
+ texmf-dist/doc/latex/powerdot/README details="Readme"
+ texmf-dist/doc/latex/powerdot/docs/RunDoc
+ texmf-dist/doc/latex/powerdot/docs/RunExamples
+ texmf-dist/doc/latex/powerdot/docs/RunSlideDoc
+ texmf-dist/doc/latex/powerdot/docs/manifest.txt
+ texmf-dist/doc/latex/powerdot/docs/powerdot-example1.pdf
+ texmf-dist/doc/latex/powerdot/docs/powerdot-example1.tex
+ texmf-dist/doc/latex/powerdot/docs/powerdot-example2.pdf
+ texmf-dist/doc/latex/powerdot/docs/powerdot-example2.tex
+ texmf-dist/doc/latex/powerdot/docs/powerdot-example3.pdf
+ texmf-dist/doc/latex/powerdot/docs/powerdot-example3.tex
+ texmf-dist/doc/latex/powerdot/docs/powerdot-styleexample.tex
+ texmf-dist/doc/latex/powerdot/docs/powerdot-styletest.tex
+ texmf-dist/doc/latex/powerdot/docs/powerdot.bib
+ texmf-dist/doc/latex/powerdot/docs/powerdot.pdf details="Package documentation (English)" language="en"
+ texmf-dist/doc/latex/powerdot/docs/powerdot.tex
+ texmf-dist/doc/latex/powerdot/docs/powerdotDE.pdf details="Package documentation (German)" language="de"
+ texmf-dist/doc/latex/powerdot/docs/powerdotDE.tex
+ texmf-dist/doc/latex/powerdot/docs/powerdotSlide.pdf details="Slides of a short presentation of Powerdot"
+ texmf-dist/doc/latex/powerdot/docs/powerdotSlide.tex
+ texmf-dist/doc/latex/powerdot/images/clemson.eps
+ texmf-dist/doc/latex/powerdot/images/pawmkorange.eps
+ texmf-dist/doc/latex/powerdot/images/pawmkorange.png
+ texmf-dist/doc/latex/powerdot/images/pawmkpurple.eps
+ texmf-dist/doc/latex/powerdot/images/pawmkpurple.png
+ texmf-dist/doc/latex/powerdot/images/pawtraceorange.eps
+ texmf-dist/doc/latex/powerdot/images/pawtraceorange.png
+ texmf-dist/doc/latex/powerdot/images/pawtracep.eps
+ texmf-dist/doc/latex/powerdot/images/pawtracep.png
+ texmf-dist/doc/latex/powerdot/images/powerdot-default.ps
+ texmf-dist/doc/latex/powerdot/lyx/powerdot-example.lyx
+ texmf-dist/doc/latex/powerdot/lyx/powerdot-example.tex
+ texmf-dist/doc/latex/powerdot/lyx/powerdot.layout
+runfiles size=48
+ texmf-dist/tex/latex/powerdot/powerdot-aggie.sty
+ texmf-dist/tex/latex/powerdot/powerdot-bframe.sty
+ texmf-dist/tex/latex/powerdot/powerdot-ciment.sty
+ texmf-dist/tex/latex/powerdot/powerdot-default.sty
+ texmf-dist/tex/latex/powerdot/powerdot-elcolors.sty
+ texmf-dist/tex/latex/powerdot/powerdot-fyma.sty
+ texmf-dist/tex/latex/powerdot/powerdot-horatio.sty
+ texmf-dist/tex/latex/powerdot/powerdot-husky.sty
+ texmf-dist/tex/latex/powerdot/powerdot-ikeda.sty
+ texmf-dist/tex/latex/powerdot/powerdot-jefka.sty
+ texmf-dist/tex/latex/powerdot/powerdot-klope.sty
+ texmf-dist/tex/latex/powerdot/powerdot-paintings.sty
+ texmf-dist/tex/latex/powerdot/powerdot-pazik.sty
+ texmf-dist/tex/latex/powerdot/powerdot-sailor.sty
+ texmf-dist/tex/latex/powerdot/powerdot-simple.sty
+ texmf-dist/tex/latex/powerdot/powerdot-tiger.sty
+ texmf-dist/tex/latex/powerdot/powerdot-tycja.sty
+ texmf-dist/tex/latex/powerdot/powerdot-upen.sty
+ texmf-dist/tex/latex/powerdot/powerdot.cls
+catalogue-ctan /macros/latex/contrib/powerdot
+catalogue-date 2013-07-01 18:40:19 +0200
+catalogue-license lppl1.3
+catalogue-version 1.4i
+
 name powerdot-FUBerlin
 category Package
 revision 15878
@@ -131416,22 +131513,22 @@ catalogue-version 0.2
 
 name pst-optexp
 category Package
-revision 31015
+revision 31072
 shortdesc Drawing optical experimental setups.
 longdesc The package pst-optexp is a collection of optical components
 longdesc that facilitate easy sketching of optical experimental setups.
-longdesc A lot of different free-ray and fiber components are provided,
-longdesc the alignment, positioning and labelling of which can be
-longdesc achieved in very simple and flexible ways. The components can
-longdesc be connected with fibers or beams, realistic raytraced beam
+longdesc A wide range of free-ray and fibre components is provided, the
+longdesc alignment, positioning and labelling of which can be achieved
+longdesc in very simple and flexible ways. The components may be
+longdesc connected with fibers or beams, and realistic raytraced beam
 longdesc paths are also possible.
-docfiles size=1153
+docfiles size=1158
  texmf-dist/doc/latex/pst-optexp/Changes
  texmf-dist/doc/latex/pst-optexp/README details="Readme"
  texmf-dist/doc/latex/pst-optexp/pst-optexp-DE.pdf details="Package manual (German)" language="de"
  texmf-dist/doc/latex/pst-optexp/pst-optexp-quickref.pdf details="Quick reference ("cheat-sheet")"
  texmf-dist/doc/latex/pst-optexp/pst-optexp.pdf details="Package manual (English)" language="en"
-srcfiles size=179
+srcfiles size=181
  texmf-dist/source/latex/pst-optexp/Makefile
  texmf-dist/source/latex/pst-optexp/pst-optexp.dtx
  texmf-dist/source/latex/pst-optexp/pst-optexp.ins
@@ -131439,9 +131536,9 @@ runfiles size=49
  texmf-dist/dvips/pst-optexp/pst-optexp.pro
  texmf-dist/tex/latex/pst-optexp/pst-optexp.sty
 catalogue-ctan /graphics/pstricks/contrib/pst-optexp
-catalogue-date 2013-06-09 22:21:46 +0200
+catalogue-date 2013-07-02 14:58:51 +0200
 catalogue-license lppl
-catalogue-version 4.2
+catalogue-version 4.3a
 
 name pst-optic
 category Package
@@ -146017,7 +146114,7 @@ runfiles size=25
  texmf-dist/tex/latex/skrapport/skrapport-size12pt.clo
  texmf-dist/tex/latex/skrapport/skrapport.cls
 catalogue-ctan /macros/latex/contrib/skrapport
-catalogue-date 2013-06-25 00:05:30 +0200
+catalogue-date 2013-07-02 16:20:31 +0200
 catalogue-license lppl1.3
 catalogue-version 0.12a
 
@@ -148004,7 +148101,7 @@ docfiles size=80
 runfiles size=2
  texmf-dist/tex/latex/stackengine/stackengine.sty
 catalogue-ctan /macros/latex/contrib/stackengine
-catalogue-date 2013-06-25 10:18:58 +0200
+catalogue-date 2013-07-02 16:20:31 +0200
 catalogue-license lppl1.3
 catalogue-version 1.0
 
@@ -171631,7 +171728,7 @@ runfiles size=18
  texmf-dist/bibtex/bst/udesoftec/udesoftec.bst
  texmf-dist/tex/latex/udesoftec/udesoftec.cls
 catalogue-ctan /macros/latex/contrib/udesoftec
-catalogue-date 2013-06-30 01:37:14 +0200
+catalogue-date 2013-07-02 16:20:31 +0200
 catalogue-license lppl
 
 name uebungsblatt