autoupdate

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

2 files changed, 47 insertions, 27 deletions

diff --git a/Master/texmf-dist/ls-R b/Master/texmf-dist/ls-R
index dff771a3178..561a50c290c 100644
--- a/Master/texmf-dist/ls-R
+++ b/Master/texmf-dist/ls-R
@@ -9281,6 +9281,7 @@ locality
 localloc
 logbox
 logical-markup-utils
+logicproof
 logicpuzzle
 logpap
 logreq
@@ -21816,6 +21817,10 @@ COPYING
 README
 TODO
 
+./doc/latex/logicproof:
+README
+logicproof.pdf
+
 ./doc/latex/logicpuzzle:
 CHANGES
 INSTALL
@@ -23016,7 +23021,6 @@ media9.tex
 3dsystem.fig
 3dsystem.pdf
 3dsystem.tex
-bird.mp3
 boutona.pdf
 boutonb.pdf
 boutonc.pdf
@@ -113456,7 +113460,6 @@ pst-fill
 pst-fit
 pst-fr3d
 pst-fun
-pst-func
 pst-lens
 pst-light3d
 pst-magneticfield
@@ -114053,9 +114056,6 @@ pst-fr3d.ins
 ./source/generic/pst-fun:
 Makefile
 
-./source/generic/pst-func:
-Makefile
-
 ./source/generic/pst-lens:
 pst-lens.dtx
 pst-lens.ins
@@ -114756,6 +114756,7 @@ lmake
 locality
 localloc
 logbox
+logicproof
 logpap
 longnamefilelist
 lplfitch
@@ -117996,6 +117997,10 @@ logbox.drv
 logbox.dtx
 logbox.ins
 
+./source/latex/logicproof:
+logicproof.dtx
+logicproof.ins
+
 ./source/latex/logpap:
 logpap.dtx
 logpap.ins
@@ -128478,6 +128483,7 @@ locality
 localloc
 logbox
 logical-markup-utils
+logicproof
 logicpuzzle
 logpap
 logreq
@@ -136800,6 +136806,9 @@ logbox.sty
 onedash.sty
 quoted.sty
 
+./tex/latex/logicproof:
+logicproof.sty
+
 ./tex/latex/logicpuzzle:
 battleship.sty
 bokkusu.sty
diff --git a/Master/tlpkg/texlive.tlpdb b/Master/tlpkg/texlive.tlpdb
index 0a3cbae6ae7..7c714bcb828 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/33239
+depend revision/33255
 
 name 00texlive.image
 category TLCore
-revision 33236
+revision 33254
 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
@@ -1599,6 +1599,7 @@ runfiles size=2589
  tlpkg/tlpsrc/localloc.tlpsrc
  tlpkg/tlpsrc/logbox.tlpsrc
  tlpkg/tlpsrc/logical-markup-utils.tlpsrc
+ tlpkg/tlpsrc/logicproof.tlpsrc
  tlpkg/tlpsrc/logicpuzzle.tlpsrc
  tlpkg/tlpsrc/logpap.tlpsrc
  tlpkg/tlpsrc/logreq.tlpsrc
@@ -2906,7 +2907,7 @@ depend opt_path:0
 depend opt_adjustrepo:1
 depend opt_write18_restricted:1
 depend opt_frozen:0
-depend setting_available_architectures:i386-cygwin sparc-solaris alpha-linux universal-darwin armhf-linux x86_64-linux armel-linux amd64-freebsd mips-irix amd64-kfreebsd i386-linux powerpc-linux x86_64-darwin amd64-netbsd mipsel-linux i386-netbsd i386-solaris i386-freebsd win32 i386-kfreebsd x86_64-solaris
+depend setting_available_architectures:mipsel-linux i386-kfreebsd x86_64-solaris amd64-freebsd amd64-kfreebsd i386-freebsd sparc-solaris i386-netbsd win32 alpha-linux x86_64-linux universal-darwin powerpc-linux amd64-netbsd armhf-linux x86_64-darwin mips-irix i386-solaris i386-cygwin i386-linux armel-linux
 depend opt_autobackup:1
 depend opt_backupdir:tlpkg/backups
 depend opt_create_formats:1
@@ -12972,14 +12973,14 @@ docfiles size=32
 
 name animate
 category Package
-revision 33107
+revision 33253
 shortdesc Create PDF animations from graphics files and inline graphics.
 longdesc The package provides an interface to create portable,
 longdesc JavaScript driven PDF animations from sets of graphics files or
 longdesc from inline graphics, such as LaTeX picture environment,
 longdesc PSTricks or pgf/TikZ generated pictures, or just from typeset
 longdesc text.
-docfiles size=945
+docfiles size=951
  texmf-dist/doc/latex/animate/ChangeLog
  texmf-dist/doc/latex/animate/README details="Readme"
  texmf-dist/doc/latex/animate/animate.pdf details="Package documentation"
@@ -42289,7 +42290,7 @@ depend spelling
 
 name collection-mathextra
 category Collection
-revision 32693
+revision 33254
 shortdesc Mathematics packages
 depend collection-fontsrecommended
 depend collection-latex
@@ -42312,6 +42313,7 @@ depend faktor
 depend interval
 depend ionumbers
 depend isomath
+depend logicproof
 depend lplfitch
 depend mathcomp
 depend mattens
@@ -61171,7 +61173,7 @@ srcfiles size=4
 runfiles size=2
  texmf-dist/tex/latex/efbox/efbox.sty
 catalogue-ctan /macros/latex/contrib/efbox
-catalogue-date 2014-03-20 00:44:45 +0100
+catalogue-date 2014-03-21 11:19:37 +0100
 catalogue-license lppl1.3
 catalogue-version 1.0
 
@@ -106787,6 +106789,18 @@ catalogue-ctan /macros/latex/contrib/logical-markup-utils
 catalogue-date 2014-02-26 23:03:13 +0100
 catalogue-license gpl3
 
+name logicproof
+category Package
+revision 33254
+docfiles size=15
+ texmf-dist/doc/latex/logicproof/README
+ texmf-dist/doc/latex/logicproof/logicproof.pdf
+srcfiles size=8
+ texmf-dist/source/latex/logicproof/logicproof.dtx
+ texmf-dist/source/latex/logicproof/logicproof.ins
+runfiles size=2
+ texmf-dist/tex/latex/logicproof/logicproof.sty
+
 name logicpuzzle
 category Package
 revision 31024
@@ -114012,7 +114026,7 @@ catalogue-version 1.05.4
 
 name media9
 category Package
-revision 33237
+revision 33252
 shortdesc Multimedia inclusion package with Adobe Reader-9/X compatibility.
 longdesc The package provides an interface to embed interactive Flash
 longdesc (SWF) and 3D objects (Adobe U3D & PRC), as well as video and
@@ -114024,13 +114038,12 @@ longdesc Player supports the efficient H.264 codec for video
 longdesc compression. The package is based on the RichMedia Annotation,
 longdesc an Adobe addition to the PDF specification. It replaces the now
 longdesc obsolete movie15 package.
-docfiles size=1228
+docfiles size=1049
  texmf-dist/doc/latex/media9/ChangeLog
  texmf-dist/doc/latex/media9/README details="Readme"
  texmf-dist/doc/latex/media9/files/3dsystem.fig
  texmf-dist/doc/latex/media9/files/3dsystem.pdf
  texmf-dist/doc/latex/media9/files/3dsystem.tex
- texmf-dist/doc/latex/media9/files/bird.mp3
  texmf-dist/doc/latex/media9/files/boutona.pdf
  texmf-dist/doc/latex/media9/files/boutonb.pdf
  texmf-dist/doc/latex/media9/files/boutonc.pdf
@@ -116423,7 +116436,7 @@ catalogue-license lppl1.3
 
 name mhchem
 category Package
-revision 32850
+revision 33255
 shortdesc Typeset chemical formulae/equations and Risk and Safety phrases.
 longdesc The bundle provides three packages: The mhchem package provides
 longdesc commands for typesetting chemical molecular formulae and
@@ -116433,8 +116446,8 @@ longdesc P statements) that are used to label chemicals. The rsphrase
 longdesc package provides commands for the official Risk and Safety (R
 longdesc and S) Phrases that are used to label chemicals. The package
 longdesc requires the expl3 bundle.
-docfiles size=68
- texmf-dist/doc/latex/mhchem/README
+docfiles size=69
+ texmf-dist/doc/latex/mhchem/README details="Readme"
  texmf-dist/doc/latex/mhchem/lppl-1-3c.txt
  texmf-dist/doc/latex/mhchem/manifest.txt
  texmf-dist/doc/latex/mhchem/mhchem.pdf details="Package documentation"
@@ -116444,7 +116457,7 @@ runfiles size=69
  texmf-dist/tex/latex/mhchem/mhchem.sty
  texmf-dist/tex/latex/mhchem/rsphrase.sty
 catalogue-ctan /macros/latex/contrib/mhchem
-catalogue-date 2014-02-05 22:41:56 +0100
+catalogue-date 2014-03-21 07:31:52 +0100
 catalogue-license lppl1.3
 
 name mhequ
@@ -141952,7 +141965,7 @@ catalogue-version 0.04
 
 name pst-func
 category Package
-revision 32892
+revision 33251
 shortdesc PSTricks package for plotting mathematical functions.
 longdesc The package is built for use with PSTricks. It provides macros
 longdesc for plotting various mathematical functions: polynomials and
@@ -141972,23 +141985,21 @@ longdesc and the Lorenz curve; the Vasicek function for describing the
 longdesc evolution of interest rates; and implicit functions. The plots
 longdesc may be generated as volumes of rotation about the X-axis, as
 longdesc well.
-docfiles size=859
+docfiles size=860
  texmf-dist/doc/generic/pst-func/Changes
  texmf-dist/doc/generic/pst-func/README details="Package README"
  texmf-dist/doc/generic/pst-func/pst-func-doc.bib
  texmf-dist/doc/generic/pst-func/pst-func-doc.data
- texmf-dist/doc/generic/pst-func/pst-func-doc.pdf details="Package documentation"
+ texmf-dist/doc/generic/pst-func/pst-func-doc.pdf
  texmf-dist/doc/generic/pst-func/pst-func-doc.tex
-srcfiles size=1
- texmf-dist/source/generic/pst-func/Makefile
 runfiles size=15
  texmf-dist/dvips/pst-func/pst-func.pro
  texmf-dist/tex/generic/pst-func/pst-func.tex
  texmf-dist/tex/latex/pst-func/pst-func.sty
 catalogue-ctan /graphics/pstricks/contrib/pst-func
-catalogue-date 2014-02-01 21:40:43 +0100
+catalogue-date 2014-03-21 11:19:37 +0100
 catalogue-license lppl
-catalogue-version 0.77
+catalogue-version 0.79
 
 name pst-gantt
 category Package
@@ -172718,7 +172729,7 @@ docfiles size=403
 
 name texlive-docindex
 category TLCore
-revision 33226
+revision 33241
 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