autoupdate

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

2 files changed, 68 insertions, 28 deletions

diff --git a/Master/texmf-dist/ls-R b/Master/texmf-dist/ls-R
index 3186538ceed..73d968626d8 100644
--- a/Master/texmf-dist/ls-R
+++ b/Master/texmf-dist/ls-R
@@ -13729,6 +13729,7 @@ productbox
 program
 progress
 progressbar
+proof-at-the-end
 proofread
 prooftrees
 properties
@@ -32125,9 +32126,9 @@ jlshort-1.00.src.tar.gz
 jlshort.pdf
 
 ./doc/latex/lshort-korean:
-README.ko
-lshort-kr-src.tar.gz
-lshort-kr.pdf
+README.md
+lshort-ko-src-20190507.tar.gz
+lshort-ko.pdf
 
 ./doc/latex/lshort-mongol:
 00README
@@ -36961,6 +36962,11 @@ README
 progressbar.pdf
 progressbar.tex
 
+./doc/latex/proof-at-the-end:
+README.md
+proof-at-the-end.pdf
+proof-at-the-end_demo.pdf
+
 ./doc/latex/proofread:
 README
 README.txt
@@ -162350,6 +162356,7 @@ preview
 proba
 probsoln
 productbox
+proof-at-the-end
 proofread
 proposal
 protocol
@@ -167876,6 +167883,10 @@ probsoln.ins
 productbox.dtx
 productbox.ins
 
+./source/latex/proof-at-the-end:
+proof-at-the-end.dtx
+proof-at-the-end.ins
+
 ./source/latex/proofread:
 proofread.dtx
 proofread.ins
@@ -180833,6 +180844,7 @@ productbox
 program
 progress
 progressbar
+proof-at-the-end
 proofread
 prooftrees
 properties
@@ -195827,6 +195839,9 @@ progress.sty
 ./tex/latex/progressbar:
 progressbar.sty
 
+./tex/latex/proof-at-the-end:
+proof-at-the-end.sty
+
 ./tex/latex/proofread:
 proofread.sty
 
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