diff options
Diffstat (limited to 'Master/tlpkg')
| -rw-r--r-- | Master/tlpkg/texlive.tlpdb | 75 |
1 files changed, 50 insertions, 25 deletions
diff --git a/Master/tlpkg/texlive.tlpdb b/Master/tlpkg/texlive.tlpdb index b9afe40869b..ea211eb3d3f 100644 --- a/Master/tlpkg/texlive.tlpdb +++ b/Master/tlpkg/texlive.tlpdb @@ -26,11 +26,11 @@ depend container_split_src_files/1 depend frozen/0 depend minrelease/2016 depend release/2019 -depend revision/51030 +depend revision/51041 name 00texlive.image category TLCore -revision 51030 +revision 51039 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 @@ -2892,6 +2892,7 @@ runfiles size=4926 tlpkg/tlpsrc/program.tlpsrc tlpkg/tlpsrc/progress.tlpsrc tlpkg/tlpsrc/progressbar.tlpsrc + tlpkg/tlpsrc/proof-at-the-end.tlpsrc tlpkg/tlpsrc/proofread.tlpsrc tlpkg/tlpsrc/prooftrees.tlpsrc tlpkg/tlpsrc/properties.tlpsrc @@ -3977,7 +3978,7 @@ depend opt_w32_multi_user:1 name 00texlive.installer category TLCore -revision 51020 +revision 51033 shortdesc TeX Live standalone installer package longdesc This package defines the files to go into the installer longdesc archives (install-tl-unx.tar.gz, install-tl.zip) built by the @@ -43428,7 +43429,7 @@ runfiles size=2 catalogue-contact-bugs https://github.com/sfranzen/chordbox/issues catalogue-contact-repository https://github.com/sfranzen/chordbox catalogue-ctan /graphics/pgf/contrib/chordbox -catalogue-date 2019-04-20 09:00:43 +0200 +catalogue-date 2019-05-07 06:49:00 +0200 catalogue-license lppl1.3 catalogue-topics music chords pgf-tikz catalogue-version 1.0 @@ -54536,7 +54537,7 @@ depend typewriter name collection-mathscience category Collection -revision 50929 +revision 51039 shortdesc Mathematics, natural sciences, computer science packages depend collection-fontsrecommended depend collection-latex @@ -54670,6 +54671,7 @@ depend pm-isomath depend polexpr depend prftree depend proba +depend proof-at-the-end depend prooftrees depend pseudocode depend pythonhighlight @@ -125612,7 +125614,7 @@ catalogue-topics labels name jlreq category Package -revision 50697 +revision 51036 shortdesc Japanese document class based on requirements for Japanese text layout longdesc This package provides a Japanese document class based on longdesc requirements for Japanese text layout. The class file and the @@ -125628,7 +125630,7 @@ docfiles size=40 texmf-dist/doc/latex/jlreq/jlreq-trimmarks.html texmf-dist/doc/latex/jlreq/jlreq-trimmarks.md texmf-dist/doc/latex/jlreq/jlreq.html -runfiles size=6932 +runfiles size=6931 texmf-dist/fonts/tfm/public/jlreq/bjlreq-v.tfm texmf-dist/fonts/tfm/public/jlreq/bjlreq.tfm texmf-dist/fonts/tfm/public/jlreq/bjlreqg-v.tfm @@ -125716,7 +125718,7 @@ runfiles size=6932 texmf-dist/tex/luatex/jlreq/jfm-jlreqv.lua catalogue-contact-home https://github.com/abenori/jlreq catalogue-ctan /language/japanese/jlreq -catalogue-date 2019-04-01 10:39:46 +0200 +catalogue-date 2019-05-07 13:08:13 +0200 catalogue-license bsd2 catalogue-topics japanese font-cjk class @@ -132515,7 +132517,7 @@ catalogue-topics macro-supp layout latex3 pre-release name l3kernel category Package -revision 51024 +revision 51037 shortdesc LaTeX3 programming conventions longdesc The l3kernel bundle provides an implementation of the LaTeX3 longdesc programmers' interface, as a set of packages that run under @@ -132618,7 +132620,7 @@ catalogue-contact-bugs https://github.com/latex3/latex3/issues catalogue-contact-home http://www.latex-project.org/code.html catalogue-contact-repository https://github.com/latex3/latex3 catalogue-ctan /macros/latex/contrib/l3kernel -catalogue-date 2019-05-03 16:41:32 +0200 +catalogue-date 2019-05-07 17:54:00 +0200 catalogue-license lppl1.3c catalogue-topics format latex3 pre-release @@ -150134,19 +150136,18 @@ catalogue-topics tut-latex japanese-doc name lshort-korean category Package -revision 15878 +revision 51035 shortdesc Korean introduction to LaTeX longdesc A translation of Oetiker's original (not so) short longdesc introduction. -docfiles size=383 - texmf-dist/doc/latex/lshort-korean/README.ko - texmf-dist/doc/latex/lshort-korean/lshort-kr-src.tar.gz - texmf-dist/doc/latex/lshort-korean/lshort-kr.pdf details="The document itself" language="ko" +docfiles size=315 + texmf-dist/doc/latex/lshort-korean/README.md details="Readme" + texmf-dist/doc/latex/lshort-korean/lshort-ko-src-20190507.tar.gz + texmf-dist/doc/latex/lshort-korean/lshort-ko.pdf details="The document itself" language="ko" catalogue-ctan /info/lshort/korean -catalogue-date 2016-06-24 19:18:15 +0200 +catalogue-date 2019-05-07 16:46:37 +0200 catalogue-license fdl catalogue-topics tut-latex korean-doc -catalogue-version 4.17 name lshort-mongol category Package @@ -198378,6 +198379,30 @@ catalogue-license lppl catalogue-topics graphics-use catalogue-version 1.0b~4 +name proof-at-the-end +category Package +revision 51039 +shortdesc A package to move proofs in appendix +longdesc This package aims to provide a way to easily move proofs in the +longdesc appendix. You can (among other) move proofs in different +longdesc places/sections, create links from theorem to proofs, restate +longdesc theorems, add comments in appendix... +docfiles size=93 + texmf-dist/doc/latex/proof-at-the-end/README.md details="Readme" + texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf details="Package documentation" + texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf +srcfiles size=13 + texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx + texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins +runfiles size=4 + texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty +catalogue-contact-bugs https://github.com/leo-colisson/proof-at-the-end/issues +catalogue-contact-home https://github.com/leo-colisson/proof-at-the-end +catalogue-ctan /macros/latex/contrib/proof-at-the-end +catalogue-date 2019-05-07 14:36:49 +0200 +catalogue-license lppl1.3 +catalogue-topics maths + name proofread category Package revision 50938 @@ -239422,12 +239447,12 @@ docfiles size=572 name texlive-docindex category TLCore -revision 51020 +revision 51033 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=296 +docfiles size=295 doc.html runfiles size=270 texmf-dist/scripts/texlive/var/texcatalogue.keywords @@ -239593,7 +239618,7 @@ docfiles size=503 name texlive-scripts category TLCore -revision 51020 +revision 51033 shortdesc TeX Live infrastructure programs longdesc Includes install-tl, tl-portable, rungs, etc.; not needed for longdesc tlmgr to run but still ours. Not included in tlcritical. @@ -239783,7 +239808,7 @@ docfiles size=292 name texlive.infra category TLCore -revision 50923 +revision 51033 shortdesc basic TeX Live infrastructure longdesc This package contains the files needed to get the TeX Live longdesc tools (notably tlmgr) running: perl modules, xz binaries, plus @@ -255864,7 +255889,7 @@ binfiles arch=x86_64-solaris size=1 name ulthese category Package -revision 48802 +revision 51038 shortdesc Thesis class and templates for Universite Laval longdesc The package provides a class based on memoir to prepare theses longdesc and memoirs compliant with the presentation rules set forth by @@ -255894,7 +255919,7 @@ docfiles size=85 texmf-dist/doc/latex/ulthese/remerciements.tex texmf-dist/doc/latex/ulthese/resume.tex texmf-dist/doc/latex/ulthese/ulthese.pdf details="Package documentation" language="fr" -srcfiles size=27 +srcfiles size=28 texmf-dist/source/latex/ulthese/ulthese.dtx texmf-dist/source/latex/ulthese/ulthese.ins runfiles size=47 @@ -255904,10 +255929,10 @@ runfiles size=47 catalogue-also memoir babel catalogue-contact-repository https://gitlab.com/vigou3/ulthese catalogue-ctan /macros/latex/contrib/ulthese -catalogue-date 2018-10-01 05:30:04 +0200 +catalogue-date 2019-05-07 05:26:50 +0200 catalogue-license lppl1.3c catalogue-topics dissertation class french -catalogue-version 5.1 +catalogue-version 5.2 name umbclegislation category Package |