summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc
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/tlpsrc
parent6b7fe4da3d5fa2003703011edea90ba320398249 (diff)
logicproof (21mar14)
git-svn-id: svn://tug.org/texlive/trunk@33254 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc1
-rw-r--r--Master/tlpkg/tlpsrc/logicproof.tlpsrc0
2 files changed, 1 insertions, 0 deletions
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