diff options
author | Karl Berry <karl@freefriends.org> | 2014-03-21 23:03:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-03-21 23:03:16 +0000 |
commit | 92d905be3ae707fa5be86dc2700f7f37465fd0f6 (patch) | |
tree | d521c99b19817533218ec55af7661fe6062c9eed /Master/tlpkg/bin/tlpkg-ctan-check | |
parent | 6b7fe4da3d5fa2003703011edea90ba320398249 (diff) |
logicproof (21mar14)
git-svn-id: svn://tug.org/texlive/trunk@33254 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tlpkg-ctan-check')
-rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index 7e98e00c1f3..76d20783ae7 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -226,7 +226,8 @@ my @TLP_working = qw( graphicx-psmin graphicxbox graphviz greek-fontenc greek-inputenc greekdates greektex greenpoint grfpaste grid grid-system gridset gtl gtrcrd gu guitar guitarchordschemes guitlogo - hacm hands hanging hanoi happy4th har2nat hardwrap harmony harnon-cv harpoon + hacm handout hands hanging hanoi + happy4th har2nat hardwrap harmony harnon-cv harpoon harvard harveyballs harvmac hatching hausarbeit-jura hc he-she hep hepnames hepparticles hepthesis hepunits here hexgame hf-tikz hfbright hfoldsty @@ -279,7 +280,8 @@ my @TLP_working = qw( lipsum lisp-on-tex listbib listing listings listings-ext listliketab listofsymbols lithuanian liturg lkproof lm lm-math lmake lobster2 - locality localloc logbox logical-markup-utils logicpuzzle logpap logreq + locality localloc logbox logical-markup-utils logicproof logicpuzzle + logpap logreq longnamefilelist loops lpic lplfitch lps lsc lshort-bulgarian lshort-chinese lshort-czech lshort-dutch lshort-english lshort-finnish lshort-french lshort-german lshort-italian |