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 | |
parent | 6b7fe4da3d5fa2003703011edea90ba320398249 (diff) |
logicproof (21mar14)
git-svn-id: svn://tug.org/texlive/trunk@33254 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 6 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/logicproof.tlpsrc | 0 |
3 files changed, 5 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 diff --git a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc index 1b92867c7d2..175ef53f0d2 100644 --- a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc @@ -23,6 +23,7 @@ depend faktor depend interval depend ionumbers depend isomath +depend logicproof depend lplfitch depend mathcomp depend mattens diff --git a/Master/tlpkg/tlpsrc/logicproof.tlpsrc b/Master/tlpkg/tlpsrc/logicproof.tlpsrc new file mode 100644 index 00000000000..e69de29bb2d --- /dev/null +++ b/Master/tlpkg/tlpsrc/logicproof.tlpsrc |