diff options
| author | Karl Berry <karl@freefriends.org> | 2019-05-07 19:55:34 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2019-05-07 19:55:34 +0000 |
| commit | e8e42065b3d5c8007da7c14ca4dcacb7c079566e (patch) | |
| tree | ac02521de780b30f0117d08ae39c84d6c90aa501 /Master/tlpkg | |
| parent | 21b648ddfb450fcb1e247f40a87105ba33002091 (diff) | |
proof-at-the-end (7may19)
git-svn-id: svn://tug.org/texlive/trunk@51039 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
| -rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 3 | ||||
| -rw-r--r-- | Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc | 1 | ||||
| -rw-r--r-- | Master/tlpkg/tlpsrc/proof-at-the-end.tlpsrc | 0 |
3 files changed, 3 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index ec68eed5377..20fd6e3a7d6 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -541,7 +541,8 @@ my @TLP_working = qw( ppr-prv pracjourn preprint prerex present presentations presentations-en pressrelease prettyref preview prftree printlen proba probsoln procIAGssymp prodint productbox program - progress progressbar proofread prooftrees proposal properties + progress progressbar + proof-at-the-end proofread prooftrees proposal properties prosper protex protocol prtec przechlewski-book psbao pseudocode psfrag psfrag-italian psfragx psgo psizzl pslatex psnfss pspicture diff --git a/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc b/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc index 694e9f8127b..adc5ec05e74 100644 --- a/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc @@ -134,6 +134,7 @@ depend pm-isomath depend polexpr depend prftree depend proba +depend proof-at-the-end depend prooftrees depend pseudocode depend pythonhighlight diff --git a/Master/tlpkg/tlpsrc/proof-at-the-end.tlpsrc b/Master/tlpkg/tlpsrc/proof-at-the-end.tlpsrc new file mode 100644 index 00000000000..e69de29bb2d --- /dev/null +++ b/Master/tlpkg/tlpsrc/proof-at-the-end.tlpsrc |