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