summaryrefslogtreecommitdiff
path: root/Master/tlpkg
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2014-03-21 23:03:16 +0000
committerKarl Berry <karl@freefriends.org>2014-03-21 23:03:16 +0000
commit92d905be3ae707fa5be86dc2700f7f37465fd0f6 (patch)
treed521c99b19817533218ec55af7661fe6062c9eed /Master/tlpkg
parent6b7fe4da3d5fa2003703011edea90ba320398249 (diff)
logicproof (21mar14)
git-svn-id: svn://tug.org/texlive/trunk@33254 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-xMaster/tlpkg/bin/tlpkg-ctan-check6
-rw-r--r--Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc1
-rw-r--r--Master/tlpkg/tlpsrc/logicproof.tlpsrc0
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