diff options
| -rw-r--r-- | Master/texmf-dist/ls-R | 19 | ||||
| -rw-r--r-- | Master/tlpkg/texlive.tlpdb | 55 |
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 |