summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-05-07 23:33:11 +0000
committerKarl Berry <karl@freefriends.org>2019-05-07 23:33:11 +0000
commite6315cc20a6cae724b7848cbb95a5094fb2c7b9c (patch)
tree1d71049796b62476cbcc52586c720b97c27be526
parent9a3eca42663c7cb45bb499692d1aed1c90a02dee (diff)
autoupdate
git-svn-id: svn://tug.org/texlive/trunk@51042 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Master/texmf-dist/ls-R21
-rw-r--r--Master/tlpkg/texlive.tlpdb75
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